Alternatives and similar repositories for little-schemer:

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

• dannypsnl / minic
  Minimalist compiler course, based on Essential of Compilation
  ☆10Updated 7 months ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆33Updated 3 months ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 3 years ago
• benediktahrens / CT4P
  ☆34Updated 4 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.
  ☆55Updated last month
• caocao485 / awesome-racket-and-scheme
  awesome racket and scheme project
  ☆97Updated 2 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 9 years ago
• irpap / Write-yourself-a-Scheme-in-48-hours
  A Scheme interpreter in Haskell
  ☆9Updated 10 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated last year
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆34Updated 5 months ago
• UniMath / Schools
  ☆83Updated 6 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆33Updated 3 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆65Updated 5 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 3 months ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated last year
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• dannypsnl / sauron
  A DrRacket plugin to make it experience like an IDE
  ☆48Updated last month
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• mflatt / zuo
  ☆40Updated 11 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• alhassy / org-agda-mode
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆18Updated 3 years ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated last week
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 5 years ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago