1ml-prime / 1mlLinks
1ML prototype interpreter
☆19Updated 4 years ago
Alternatives and similar repositories for 1ml
Users that are interested in 1ml are comparing it to the libraries listed below
Sorting:
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Collection of Idris snippets☆21Updated last year
- Multiparty Session Types in OCaml☆60Updated 7 months ago
- Experimental model checker for testing concurrent algorithms☆36Updated 5 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Non-blocking streaming JSON codec for OCaml☆49Updated 6 months ago
- OCaml bindings for RE2☆47Updated last month
- F* running in the browser☆21Updated 5 years ago
- Yet another type combinator library☆54Updated 3 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated 9 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 10 months ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Bindings to the various POSIX APIs☆27Updated last month
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 5 months ago
- Functional reactive programming with incremental changes in data structures☆52Updated 2 weeks ago
- Multilingualization for the OCaml source code☆50Updated 6 years ago
- Jane Street Capital's standard library overlay☆36Updated 2 weeks ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- The OCaml findlib library manager☆34Updated 6 months ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated last year
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)☆56Updated 9 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Implementation of maps of integers with Patricia trees☆22Updated 4 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 4 months ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago