Alternatives and similar repositories for crisp-compiler

Users that are interested in crisp-compiler are comparing it to the libraries listed below

• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆196Updated 3 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆168Updated 7 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆194Updated 8 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆81Updated 9 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆65Updated 3 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 4 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• beeramtheman / 99haskell
  Live Haskell coding problems
  ☆39Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆85Updated 7 years ago
• eudoxia0 / corvus
  Low-level Lisp for LLVM
  ☆503Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 9 years ago
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 8 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆69Updated 6 years ago
• typed-wire / typed-wire
  Language independent type-safe communication
  ☆133Updated 7 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• artagnon / rhine-ml
  🏞 an OCaml compiler for an untyped lisp
  ☆631Updated 10 years ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆113Updated 9 years ago