Alternatives and similar repositories for anzen

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

• joewillsher / Vist
  The Vist programming language
  ☆15Updated 8 years ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆36Updated last year
• kyouko-taiga / LogicKit
  A Prolog-like language as a Swift Embedded Domain Specific Language.
  ☆61Updated 3 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated 11 months ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 3 months ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆95Updated 3 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆32Updated last week
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• ElvisResearchGroup / L42
  L42 main project
  ☆27Updated 7 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆30Updated 7 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆146Updated 7 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆214Updated 2 years ago
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆125Updated 2 months ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 4 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆17Updated last year
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago