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
  ☆80Updated 10 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆35Updated 5 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated 4 months ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 3 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆81Updated 9 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆36Updated 5 years ago
• fxfactorial / podge
  A Hodgepodge of functions for living in the OCaml ecosystem
  ☆63Updated 6 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆148Updated 8 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 2 weeks ago
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆131Updated last month
• robsimmons / sml-lib
  Library for Standard ML
  ☆55Updated 13 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆46Updated 2 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• fxfactorial / ocaml-electron
  Write OCaml, run on Electron.
  ☆77Updated 3 months ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 5 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆75Updated last year
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 3 years ago
• dbuenzli / tgls
  Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
  ☆55Updated 2 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆221Updated 3 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 5 months ago
• LeifAndersen / racket-to-c
  ☆29Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 10 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago