troydm / micro
trivial micro compiler written in OCaml
☆64Updated 6 years ago
Alternatives and similar repositories for micro:
Users that are interested in micro are comparing it to the libraries listed below
- A small implementation of type inference☆78Updated 9 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml☆54Updated last year
- APL compiler written in Standard ML☆35Updated 4 years ago
- MLton with Realtime GC and Threading features☆103Updated 11 months ago
- Nanopass for OCaml☆143Updated 7 years ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- OCaml interpreter☆100Updated 5 years ago
- A programming language that runs in Haskell's type system.☆251Updated 8 years ago
- Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCa…☆107Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- Various signed and unsigned integers for OCaml☆84Updated 2 years ago
- SML reference interpreter☆112Updated last year
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- ☆23Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- Compile-time metaprogramming for OCaml☆72Updated 6 months ago
- A functional systems programming language with compile-time memory management☆31Updated 3 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆124Updated 2 years ago
- Compiler and tools for the L programming language☆72Updated 9 months ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- Automated S-expression conversion☆151Updated 3 months ago
- minimal lisp that compiles to x86☆10Updated 7 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago