Alternatives and similar repositories for anzen

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

• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 9 months ago
• joewillsher / Vist
  The Vist programming language
  ☆14Updated 8 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 7 months ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆149Updated 7 years ago
• dobesv / charity
  Charity Programming Language
  ☆41Updated 10 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆43Updated 6 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆220Updated 3 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 10 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• racket / redex
  ☆98Updated this week
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆92Updated 5 months ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆120Updated last month
• wongjiahau / Pineapple
  Definition for Pineapple language and its compiler
  ☆25Updated 7 years ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆39Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆17Updated last year
• silt-lang / silt
  An in-progress fast, dependently typed, functional programming language implemented in Swift.
  ☆244Updated 6 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 7 months ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆50Updated 11 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆124Updated 3 years ago