Alternatives and similar repositories for micro:

Users that are interested in micro are comparing it to the libraries listed below

• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆65Updated 3 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 9 years ago
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆62Updated 5 years ago
• dbuenzli / tgls
  Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
  ☆55Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 9 months ago
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆125Updated last month
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆48Updated 6 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆143Updated 7 years ago
• robsimmons / sml-lib
  Library for Standard ML
  ☆54Updated 13 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• mirage / ocaml-cow
  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
• johnwhitington / ocamli
  OCaml interpreter
  ☆100Updated 5 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 8 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆253Updated 9 years ago
• etaoins / llambda
  Scheme R7RS frontend for LLVM
  ☆69Updated 7 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• thizanne / tiger
  Toy compiler implementation in OCaml
  ☆20Updated 9 years ago
• henrystanley / Quark
  Quark, A Functional, Purely Homoiconic, Concatenative Language
  ☆26Updated 9 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 years ago
• wbhart / Cesium3
  Fast interpreter with macros, local type inference, LLVM backend.
  ☆163Updated 6 years ago
• eatonphil / bsdscheme
  A Scheme (R7RS) implementation written in D
  ☆59Updated 6 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆89Updated 6 years ago
• mflatt / gc-demo
  ☆85Updated 4 years ago