A simple tutorial about how to use the CIL compiler frontend
OTHER License
OCaml bindings for the cvc5 SMT solver
OCaml extensions in Rust
Starter code for developing Ocaml for CS442 at UWaterloo
A toy theorem prover
Dynamic reconfigurable linker for OCaml
Abstract engine for text edition in OCaml
OCaml bindings to Zstandard (http://zstd.net)
skeleton for a language implementation in OCaml
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers...
Simple template for midsize OCaml project
OCaml build rules for Bazel
Data structures and algorithms in OCaml
Simple, efficient iterators for OCaml
My notes about the Notty library https://github.com/pqwy/notty