Alternatives and similar repositories for racket-toolbox

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

• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆49Updated this week
• hanleyc01 / rkttt
  ☆12Updated 2 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆52Updated last month
• stchang / mlish
  ☆22Updated 5 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• jackfirth / resyntax
  A Racket refactoring engine
  ☆65Updated this week
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆20Updated 2 weeks ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 2 months ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆33Updated last year
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated 2 weeks ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• david-christiansen / racket-zippers
  A zipper library for Racket
  ☆20Updated 9 years ago
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 6 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 4 years ago
• lexi-lambda / talks
  ☆45Updated 2 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
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 6 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated 11 months ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆15Updated 7 years ago
• camoy / trace-contract
  ☆12Updated 6 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆30Updated this week
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 5 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆51Updated last month
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆30Updated last year
• 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
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago