Alternatives and similar repositories for rotten

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

• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆124Updated 10 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated 3 months ago
• joeltg / ozymandias
  MIT Scheme environment for the browser
  ☆59Updated 8 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆193Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆171Updated 10 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 9 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆71Updated 7 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 2 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• mflatt / not-a-box
  ☆58Updated 8 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago