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
- Examples to illustrate the use of experimental OCaml macros☆13Updated 8 years ago
- OCaml bindings for the Integer Set Library.☆13Updated 11 years ago
- Fast vectorized bitarrays for OCaml☆16Updated 2 years ago
- ☆15Updated 9 years ago
- Toplevel expectation test☆19Updated 3 weeks 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 3 years ago
- 6502 chip simulator in OCaml☆13Updated last year
- A simple library implementation of binary sessions☆11Updated last year
- Small PPX for fixed size integer literals☆10Updated 3 years ago
- OCaml bindings to Minisat☆12Updated last year
- RISC-V OCaml cross compiler☆14Updated 6 years ago
- OCaml syntax extension for synchronous programming...☆32Updated 2 years ago
- Print with style in your terminal using Format's semantic tags☆20Updated 2 years ago
- ☆21Updated 6 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14Updated 5 years ago
- Identifying similar OCaml codes☆30Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 3 months ago
- Testing and benchmarking tool for logic-related programs.☆28Updated 10 months ago
- ☆13Updated last week
- Library for tokenizing code with TextMate grammars☆12Updated 2 years ago
- Evaluate code through the OCaml toploop for inclusion in educational material.☆13Updated 10 years ago
- Convert a cmi file back to an mli interface☆18Updated 11 years ago
- ☆21Updated last month
- ☆10Updated 8 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Updated 3 years ago
- The caml walks, OCaml runs☆20Updated 2 years ago
- A bibtex file parser☆21Updated 2 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 3 years ago
- OCaml library to produce vega-lite visualizations (as json objects)☆17Updated 3 years ago