OCaml Code Analysis
The Saga of Multicore OCamlПодробнее
Resolving Cyclic Function Dependencies in OCaml for Static AnalysisПодробнее
Can You Decompile an OCaml Executable File into Source Code?Подробнее
Understanding the equals Function in OCamlПодробнее
Making OCaml Safe for Performance EngineeringПодробнее
OCaml Explained: Unlock the Power of Functional ProgrammingПодробнее
Fun Programming Workshop - OCaml & Chess (part 1)Подробнее
[OCaML'23] Owi: an interpreter and a toolkit for WebAssembly written in OCamlПодробнее
![[OCaML'23] Owi: an interpreter and a toolkit for WebAssembly written in OCaml](https://img.youtube.com/vi/IM76cMP3Eqo/0.jpg)
[OCaML'23] Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the codeПодробнее
![[OCaML'23] Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code](https://img.youtube.com/vi/Of3dxdY3Z9M/0.jpg)
[ML'23] The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Pre...Подробнее
![[ML'23] The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Pre...](https://img.youtube.com/vi/jgUZlHuc41s/0.jpg)
Memory allocation in OCaml and beyondПодробнее
Removing Gremlins: A Goblint Based Static Analyzer for OCaml ↔ C bindings - Edwin Török, XenServerПодробнее
Code Review: OcamlПодробнее
Continuing to review the Dream Eio PR — OCaml Fri., Apr. 21, 2023Подробнее
An Introduction to OCaml by Sudha ParimalaПодробнее
osnap! Painless & massive regression test generation for OCaml | Valentin Chaboche | Lambda Days 22Подробнее
Demonstration of formally verified chaincode generation for Hyperledger FabricПодробнее
Code Review: Deleting a node from Binary Tree in OCamlПодробнее
An Invitation to OCaml | Sudha Parimala | IndiaFOSS 2.0 | FOSS UnitedПодробнее
