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)
  ☆126Updated 12 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆36Updated 5 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆217Updated last year
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆124Updated 11 months ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated 5 months ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• joeltg / ozymandias
  MIT Scheme environment for the browser
  ☆59Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 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 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆71Updated 7 years ago
• noether-lang / noether
  Noether programming language
  ☆130Updated 8 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• larsyencken / marelle
  Test-driven system administration with a little extra logic.
  ☆389Updated 7 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆87Updated 4 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• mflatt / expander
  ☆77Updated 10 months ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago