Alternatives and similar repositories for EpiVM:

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

• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated this week
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• ekmett / scheme-monads
  minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
  ☆18Updated 11 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• emilaxelsson / ag-graph
  Attribute Grammars on Graphs
  ☆10Updated 8 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 5 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago