Alternatives and similar repositories for little-schemer

Users that are interested in little-schemer are comparing it to the libraries listed below

• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• UniMath / Schools
  ☆88Updated 4 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 8 months ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 2 months ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 3 months ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆76Updated 3 weeks ago
• caocao485 / awesome-racket-and-scheme
  awesome racket and scheme project
  ☆99Updated 2 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 5 months 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.
  ☆57Updated 5 months ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆35Updated 8 months ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 months ago
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated 2 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 4 months ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 10 months ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆69Updated 10 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• jwiegley / notes
  ☆49Updated this week
• lexi-lambda / lexi-lambda.github.io
  ☆35Updated 2 months ago
• sorawee / fmt
  A code formatter for Racket
  ☆81Updated 3 weeks ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 3 months ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆34Updated last week
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago