gsakkas / riteLinks
Type Error Feedback via Analytic Program Repair
☆16Updated 2 years ago
Alternatives and similar repositories for rite
Users that are interested in rite are comparing it to the libraries listed below
Sorting:
- Small tensor library a la GLSL☆17Updated 3 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 2 months ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Updated 2 years ago
- Examples to illustrate the use of experimental OCaml macros☆13Updated 8 years ago
- Toplevel expectation test☆19Updated last month
- Small PPX for fixed size integer literals☆10Updated 3 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Updated last year
- Fast vectorized bitarrays for OCaml☆16Updated 2 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14Updated 5 years ago
- An interval library for OCaml☆16Updated 3 years ago
- OCaml bindings to Minisat☆12Updated last year
- 6502 chip simulator in OCaml☆13Updated last year
- A simple library implementation of binary sessions☆11Updated last year
- ☆13Updated last month
- Convert a cmi file back to an mli interface☆18Updated 10 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Updated 3 weeks ago
- OCaml syntax extension for synchronous programming...☆32Updated 2 years ago
- OCaml bindings for the Integer Set Library.☆13Updated 11 years ago
- ☆15Updated 9 years ago
- Js_of_ocaml bindings for the p5.js library☆11Updated last year
- Print with style in your terminal using Format's semantic tags☆20Updated 2 years ago
- The caml walks, OCaml runs☆19Updated 2 years ago
- First-order automated theorem prover based on the tableau method☆17Updated this week
- A 2d geometry library for ocaml☆36Updated 3 years ago
- [wip] bindings to Dear Imgui for OCaml.☆17Updated 5 years ago
- Identifying similar OCaml codes☆30Updated last year
- A simple websocket library for OCaml with no dependencies☆16Updated last year
- An OCaml clustering library☆20Updated 4 years ago
- ☆17Updated this week
- Testing and benchmarking tool for logic-related programs.☆27Updated 9 months ago