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
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- Multilingualization for the OCaml source code☆50Updated 5 years ago
- Collection of Idris snippets☆21Updated 11 months ago
- Bindings to the various POSIX APIs☆27Updated last month
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last month
- Yet another type combinator library☆54Updated 2 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Functional reactive programming with incremental changes in data structures☆52Updated this week
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Multiparty Session Types in OCaml☆57Updated 4 months ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Non-blocking streaming JSON codec for OCaml☆49Updated 2 months ago
- ☆15Updated 9 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Auto-formatter for OCaml code☆17Updated this week
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 8 months ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- Lazy prefix trees in OCaml☆23Updated 5 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆42Updated 5 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 7 months ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Embed typed ASN.1 grammars in OCaml☆36Updated 2 months ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated last month
- Pretty-printing library for OCaml☆43Updated 2 years ago