16:10OCaml Workshop 2020 - A Declarative Syntax Definition for OCaml
Advanced
A 16-minute video from OCamlWorkshops: “OCaml Workshop 2020 - A Declarative Syntax Definition for OCaml”.
OCamlWorkshops
600 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
16:10
18:40OCaml Workshop 2020 - A Simple State-Machine Framework for Property-Based Testing in OCaml
Advanced
A 19-minute video from OCamlWorkshops: “OCaml Workshop 2020 - A Simple State-Machine Framework for Property-Based Testing in OCaml”.
18:14OCaml Workshop 2020 - AD-OCaml: Algorithmic Differentiation for OCaml
Advanced
A 18-minute video from OCamlWorkshops: “OCaml Workshop 2020 - AD-OCaml: Algorithmic Differentiation for OCaml”.
20:32OCaml Workshop 2020 - API migration: compare transformed
Advanced
A 21-minute video from OCamlWorkshops: “OCaml Workshop 2020 - API migration: compare transformed”.
21:08OCaml Workshop 2020 - Irmin v2
Advanced
A 21-minute video from OCamlWorkshops: “OCaml Workshop 2020 - Irmin v2”.
16:21OCaml Workshop 2020 - LexiFi Runtime Types
Advanced
A 16-minute video from OCamlWorkshops: “OCaml Workshop 2020 - LexiFi Runtime Types”.
20:22OCaml Workshop 2020 - OCaml Under The Hood: SmartPy
Advanced
A 20-minute video from OCamlWorkshops: “OCaml Workshop 2020 - OCaml Under The Hood: SmartPy”.
20:10OCaml Workshop 2020 - OCaml-CI : A Zero-Configuration CI
Advanced
A 20-minute video from OCamlWorkshops: “OCaml Workshop 2020 - OCaml-CI : A Zero-Configuration CI”.
19:58OCaml Workshop 2020 - Parallelising your OCaml Code with Multicore OCaml
Advanced
A 20-minute video from OCamlWorkshops: “OCaml Workshop 2020 - Parallelising your OCaml Code with Multicore OCaml”.
1:00:01OCaml Workshop 2020 - State of the OCaml Platform 2020
Advanced
A 60-minute video from OCamlWorkshops: “OCaml Workshop 2020 - State of the OCaml Platform 2020”.
19:24OCaml Workshop 2020 - The ImpFS filesystem
Advanced
A 19-minute video from OCamlWorkshops: “OCaml Workshop 2020 - The ImpFS filesystem”.
20:19OCaml Workshop 2020 - The final pieces of the OCaml documentation puzzle
Advanced
A 20-minute video from OCamlWorkshops: “OCaml Workshop 2020 - The final pieces of the OCaml documentation puzzle”.
19:16OCaml Workshop 2020 - Types in Amber
Advanced
A 19-minute video from OCamlWorkshops: “OCaml Workshop 2020 - Types in Amber”.
14:38OCaml Workshop 2021 - Digodoc and Docs
Advanced
A 15-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Digodoc and Docs”.
14:24OCaml Workshop 2021 - A Multiverse of Glorious Documentation
Advanced
A 14-minute video from OCamlWorkshops: “OCaml Workshop 2021 - A Multiverse of Glorious Documentation”.
24:37OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCaml
Advanced
A 25-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCaml”.
16:19OCaml Workshop 2021 - Binary Analysis Platform (BAP)
Advanced
A 16-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Binary Analysis Platform (BAP)”.
10:52OCaml Workshop 2021 - Continuous Benchmarking for OCaml Projects
Advanced
A 11-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Continuous Benchmarking for OCaml Projects”.
24:47OCaml Workshop 2021 - Deductive Verification of Realistic OCaml Code
Advanced
A 25-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Deductive Verification of Realistic OCaml Code”.
18:45OCaml Workshop 2021 - Experiences with Effects
Advanced
A 19-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Experiences with Effects”.
24:55OCaml Workshop 2021 - GopCaml A Structural Editor for OCaml
Advanced
A 25-minute video from OCamlWorkshops: “OCaml Workshop 2021 - GopCaml A Structural Editor for OCaml”.
14:54OCaml Workshop 2021 - Leveraging Formal Specifications to Generate Fuzzing Suites
Advanced
A 15-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Leveraging Formal Specifications to Generate Fuzzing Suites”.
16:15OCaml Workshop 2021 - Love a readable language interpreted by a blockchain
Advanced
A 16-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Love a readable language interpreted by a blockchain”.
20:40OCaml Workshop 2021 - OCaml and Python Getting the Best of Both Worlds
Advanced
A 21-minute video from OCamlWorkshops: “OCaml Workshop 2021 - OCaml and Python Getting the Best of Both Worlds”.
15:08OCaml Workshop 2021 - Parafuzz Coverage guided Property Fuzzing for Multicore OCaml programs
Advanced
A 15-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Parafuzz Coverage guided Property Fuzzing for Multicore OCaml programs”.
22:15OCaml Workshop 2021 - Probabilistic resource limits using StatMemprof
Advanced
A 22-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Probabilistic resource limits using StatMemprof”.
7:45OCaml Workshop 2021 - Property Based Testing for OCaml through Coq
Advanced
A 8-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Property Based Testing for OCaml through Coq”.
14:58OCaml Workshop 2021 - Safe Protocol Updates via Propositional Logic
Advanced
A 15-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Safe Protocol Updates via Propositional Logic”.
14:44OCaml Workshop 2021 - Semgrep a fast lightweight polyglot static analysis tool to find bugs
Advanced
A 15-minute video from OCamlWorkshops: “OCaml Workshop 2021 - Semgrep a fast lightweight polyglot static analysis tool to find bugs”.
21:12OCaml Workshop 2021 - opam-bin Binary Packages with Opam
Advanced
A 21-minute video from OCamlWorkshops: “OCaml Workshop 2021 - opam-bin Binary Packages with Opam”.