Alternatives and similar repositories for racket-toolbox

Users that are interested in racket-toolbox are comparing it to the libraries listed below

• hanleyc01 / rkttt
  ☆12Updated 2 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated 10 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆66Updated this week
• gelisam / typechecker-combinators
  ☆17Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆19Updated 6 months ago
• stchang / mlish
  ☆22Updated 5 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated 10 months ago
• david-christiansen / racket-zippers
  A zipper library for Racket
  ☆20Updated 9 years ago
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆15Updated last year
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated 2 years ago
• SuzanneSoy / type-expander
  Type expanders (i.e. type-level functions) for Typed/Racket
  ☆17Updated 3 years ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 7 months ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆30Updated last month
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 6 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 7 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated last month
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆11Updated last year
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 12 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 6 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 2 weeks ago