implementation of iLQR in OCaml
MIT License
Implementation of iterative LQR in OCaml.
dune build @install && dune install
mkdir results dune exec examples/pendulum.exe -- -d results
Implementation of the adjoint state method with OwlDE
A composable build system for OCaml.
OCaml bindings to MuJoCo
Formal verification for OCaml
OCaml promises and concurrent I/O
Mostly Automated Proof Repair for Verified Libraries
OCaml Bindings to MLIR
OCaml Amqp client library for Async and Lwt.
OCaml<->Rust FFI with an emphasis on safety.
Starter code for developing Ocaml for CS442 at UWaterloo
A lightweight and colourful test framework
🐪 Learning Ocaml with the official resources
Cooperative-threaded access to relational data
skeleton for a language implementation in OCaml