Alternatives and similar repositories for dwarf-vm

Users that are interested in dwarf-vm are comparing it to the libraries listed below

• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated last year
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• kfl / webserver-functor
  Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
  ☆13Updated 11 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆15Updated 5 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 13 years ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Updated 5 years ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• nickelsworth / sympas
  Code and text from "Symbolic Processing In Pascal" by Professor Manfred von Thun
  ☆12Updated 12 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• ankitku / TAL0
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆22Updated 8 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆28Updated 3 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆18Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated 2 years ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago
• maxdore / elfe
  Interactive Theorem Proving for students
  ☆20Updated last year
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago