Alternatives and similar repositories for scheme-listings

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

• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 3 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
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Updated 7 years ago
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 5 years ago
• stchang / pasterack
  The Racket pastebin.
  ☆30Updated 3 years ago
• michaelballantyne / ee-lib
  ☆12Updated last year
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 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 3 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 3 years ago
• racket / slideshow
  ☆37Updated 2 months ago
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• SuzanneSoy / type-expander
  Type expanders (i.e. type-level functions) for Typed/Racket
  ☆17Updated 3 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆44Updated 8 months ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated last month
• mfelleisen / RacketSchool
  ☆11Updated 6 years ago
• Metaxal / text-table
  A simple Racket package to display text tables with utf-8 boxes
  ☆12Updated 2 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• SuzanneSoy / scribble-math
  Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation
  ☆17Updated last year
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• david-christiansen / racket-zippers
  A zipper library for Racket
  ☆20Updated 9 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆31Updated 2 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆48Updated 2 years ago
• wilbowma / scribble-minted
  A scribble library for using pygmentize
  ☆16Updated 2 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 3 months ago
• zydeco-lang / fiddle
  A dynamically-typed CBPV language embedded in Racket
  ☆39Updated last year
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆65Updated this week