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