Alternatives and similar repositories for little-schemer

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

• UniMath / Schools
  ☆94Updated 8 months ago
• sorawee / fmt
  A code formatter for Racket
  ☆83Updated 5 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• caocao485 / awesome-racket-and-scheme
  awesome racket and scheme project
  ☆100Updated 2 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆71Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• schemedoc / bibliography
  Bibliography of Scheme research (readscheme.org and beyond)
  ☆164Updated 2 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• rain-1 / continuations-study-group
  ☆78Updated 6 years ago
• david-christiansen / todo-list
  A TODO list feature for DrRacket, like to Agda's goal list but for any language.
  ☆33Updated 2 years ago
• jaseemabid / inc
  An incremental approach to compiler construction
  ☆84Updated 5 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆79Updated 6 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• Anniepoo / strangeloop
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆20Updated 5 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 8 months ago
• alhassy / org-agda-mode
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆20Updated 4 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• jackfirth / point-free
  Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style
  ☆24Updated 7 years ago
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated 2 years ago
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated 2 months ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆49Updated 10 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆80Updated 4 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆37Updated 6 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.
  ☆59Updated 10 months ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated this week
• MarkP88 / racket-coin
  Simplified example cryptocurrency implementation in Racket
  ☆47Updated 4 years ago
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆13Updated 7 months ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 6 years ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 6 months ago