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
  ☆16Updated 8 years ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆34Updated 10 months ago
• kyouko-taiga / Diesel
  A Swift library to write parsers for domain specific languages.
  ☆14Updated 4 years ago
• kyouko-taiga / LogicKit
  A Prolog-like language as a Swift Embedded Domain Specific Language.
  ☆61Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated 2 weeks ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 10 months ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 9 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆143Updated 7 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 9 months ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆116Updated last month
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆91Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆89Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago