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
  ☆14Updated 8 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 8 months ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆28Updated 4 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆41Updated 6 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 6 months ago
• dobesv / charity
  Charity Programming Language
  ☆40Updated 10 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆57Updated 7 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 9 months ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 4 months ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated last year
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆17Updated last year
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆79Updated 7 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 11 years ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆36Updated last year
• mvitousek / reticulated
  Types for Python
  ☆87Updated 7 years ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated 2 years ago