Alternatives and similar repositories for haskell-scheme

Users that are interested in haskell-scheme are comparing it to the libraries listed below

• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆108Updated 4 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆88Updated 4 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆62Updated 3 years ago
• mkirchner / stutter
  Implement a Lisp, in C, from scratch, no libs
  ☆81Updated 2 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆157Updated 2 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆132Updated 6 years ago
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆156Updated 2 years ago
• racket / games
  ☆50Updated 2 months ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• smlnj / legacy
  This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆38Updated this week
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated 2 months ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated 2 months ago
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆10Updated last year
• meagtan / 99-lisp-problems
  Solutions for the Ninety-Nine Lisp problems in Common Lisp.
  ☆19Updated 8 years ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆36Updated 4 years ago
• codereport / racket-algorithms
  A package containing many useful algorithms (borrowed from many other programming languages).
  ☆13Updated 3 weeks ago
• forestfoxx / Serial-Experiments-Lain
  Common Lisp source code from Iwakura Lain's HandiNAVI displayed in Layer:07
  ☆70Updated 5 years ago
• seven1m / malcc
  Mal (Make A Lisp) Compiler in C
  ☆52Updated 4 years ago
• privet-kitty / cl-competitive
  Common Lisp implementation of algorithms
  ☆185Updated last year
• Dyalog / MDAPL
  The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.
  ☆35Updated 2 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last week
• Apress / programming-algorithms-lisp
  Source Code for 'Programming Algorithms in Lisp' by Vsevolod Domkin
  ☆79Updated 2 years ago
• lisper / cpus-caddr
  FPGA based MIT CADR lisp machine - rewritten in modern verilog - boots and runs
  ☆124Updated 9 years ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆42Updated 4 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆61Updated 4 months ago