Alternatives and similar repositories for hak_wambook

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

• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆58Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 8 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 7 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated 3 weeks ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 11 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 7 months ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• aprolog-lang / aprolog
  αProlog
  ☆17Updated last year
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 4 months ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated 11 months ago
• JorthVM / JorthVM
  a Java VM implemented in Forth
  ☆40Updated 13 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• jkoppel / ecta
  ☆35Updated last year