Alternatives and similar repositories for rift

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

• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆158Updated 2 weeks ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 2 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆158Updated 10 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 6 years ago
• mflatt / gc-demo
  ☆87Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 9 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• jozefg / pcf
  A small compiler for PCF
  ☆127Updated 4 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆34Updated 4 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆157Updated 4 months ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 7 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 12 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 10 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• malyzajko / rosa
  Rosa, the real compiler
  ☆20Updated 7 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago