1ml-prime / 1ml
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
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Functional reactive programming with incremental changes in data structures☆52Updated last month
- ☆15Updated 9 years ago
- Collection of Idris snippets☆21Updated 10 months ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 weeks ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Non-blocking streaming JSON codec for OCaml☆49Updated last month
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Auto-formatter for OCaml code☆16Updated this week
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 7 months ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last week
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 6 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Jane Street Capital's standard library overlay☆34Updated 2 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Multiparty Session Types in OCaml☆57Updated 2 months ago
- Parser and printer for date-times in ISO8601☆29Updated 11 months ago
- Visualization tool for your IO-uring workload☆14Updated 5 months ago
- A simple monadic parser combinator library for OCaml☆66Updated 2 years ago