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 7 years ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆34Updated 8 months 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
  ☆67Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆42Updated 6 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆36Updated last month
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆47Updated 10 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated this week
• dobesv / charity
  Charity Programming Language
  ☆39Updated 9 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆64Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• stchang / typed-rosette
  An experimental typed version of the Rosette language
  ☆13Updated 6 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 9 months ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆23Updated 2 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• mvitousek / reticulated
  Types for Python
  ☆86Updated 6 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆98Updated 4 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 7 months 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
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆88Updated 6 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago