ilqr

implementation of iLQR in OCaml

MIT License

Stars
8
View Code on GitHub
Ecosystems: OCaml

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
lwt

OCaml promises and concurrent I/O

29 Jul 2013 707
dune

A composable build system for OCaml.

30 Oct 2016 1,547
ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134
ocaml-mlir

OCaml Bindings to MLIR

03 Dec 2020 13
cs442-ocaml-starter

Starter code for developing Ocaml for CS442 at UWaterloo

16 Jan 2023 4
ilqr_vae

26 Nov 2021 10
ocaml-org-learn

🐪 Learning Ocaml with the official resources

15 Oct 2021 5
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
amqp-client

OCaml Amqp client library for Async and Lwt.

15 Sep 2015 63
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4
ocaml-caqti

Cooperative-threaded access to relational data

18 Mar 2014 303
ocaml-mujoco

OCaml bindings to MuJoCo

26 Nov 2021 5
adjoint_ode

Implementation of the adjoint state method with OwlDE

08 Jun 2019 7
alcotest

A lightweight and colourful test framework

12 Dec 2013 450
lang-start

skeleton for a language implementation in OCaml

20 May 2018 5