gregszymanski / mini-rust
Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/index.fr.html)
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for mini-rust
- ☆16Updated 3 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 2 years ago
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆15Updated last year
- opam plugin to initialise a local development environment for an OCaml project☆18Updated 3 years ago
- Js_of_ocaml bindings for MithrilJS☆18Updated 3 years ago
- Exploring the corners of OCaml type system☆19Updated 3 years ago
- Example use of ts2ocaml☆18Updated this week
- OpenType font decoder for OCaml☆20Updated 5 months ago
- Example OCaml library written using Rust and ocaml-rs☆16Updated 3 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- A Btree library in OCaml☆18Updated last year
- An example of using Video.js with ReScript React☆18Updated this week
- The OCaml findlib library manager☆27Updated last week
- Unicode text normalization for OCaml☆21Updated this week
- ☆15Updated last year
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 11 months ago
- ☆25Updated 2 years ago
- Deriving GraphQL schema and argument values from OCaml types☆12Updated 2 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆15Updated this week
- Efficient caching library for OCaml☆33Updated last year
- HTML5 Gamepad API bindings for js_of_ocaml☆17Updated 6 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Library for color and formatting in the terminal☆20Updated 2 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated 9 months ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆31Updated 2 years ago
- Parsing library based on Earley Algorithm☆18Updated 3 years ago
- Memory-efficient data structures in OCaml☆38Updated 2 years ago
- A simple static website generator, written in OCaml☆22Updated 2 years ago