gregoire-szymanski / 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)
☆13Updated 4 years ago
Alternatives and similar repositories for mini-rust:
Users that are interested in mini-rust are comparing it to the libraries listed below
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 2 years ago
- Js_of_ocaml bindings for MithrilJS☆18Updated 4 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- ☆16Updated 3 years ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated last year
- GitHub Action for the OCaml programming language☆18Updated 3 years ago
- Example OCaml library written using Rust and ocaml-rs☆16Updated 4 years ago
- Exploring the corners of OCaml type system☆18Updated 3 years ago
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- Proof of concept to generate safe and fast JavaScript☆24Updated 2 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated 2 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 2 months ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Unicode text normalization for OCaml☆21Updated 3 weeks ago
- Multiparty Session Types in OCaml☆59Updated 5 months ago
- OCaml SSL bindings.☆57Updated 4 months ago
- Very simple gzip library for OCaml☆22Updated 3 years ago
- Example use of ts2ocaml☆18Updated this week
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 9 months ago
- Redis client for Async applications☆17Updated 4 months ago
- HTTP request routing library for OCaml web applications.☆40Updated last year
- Composable image processing library for OCaml☆37Updated 6 months ago
- Easy OCaml scripts (unreleased)☆20Updated last month
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- A type-safe, stack-based functional programming language☆16Updated last month
- Deriving GraphQL schema and argument values from OCaml types☆12Updated 2 years ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 7 months ago