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
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months 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
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• kyouko-taiga / Diesel
  A Swift library to write parsers for domain specific languages.
  ☆14Updated 4 years 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
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 10 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• stchang / typed-rosette
  An experimental typed version of the Rosette language
  ☆13Updated 6 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• brownplt / pyret-docs
  The documentation for Pyret.
  ☆9Updated 2 weeks ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆78Updated last month
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 6 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆16Updated last year
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated 11 months ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆90Updated 6 years 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
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆28Updated 2 years ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year