lexi-lambda / racket-toolboxLinks
Miscellaneous Racket utilities lacking a better home
☆13Updated last week
Alternatives and similar repositories for racket-toolbox
Users that are interested in racket-toolbox are comparing it to the libraries listed below
Sorting:
- A Racket refactoring engine☆66Updated this week
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- ☆12Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆46Updated this week
- ☆22Updated 5 years ago
- ☆17Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 8 months ago
- ☆44Updated 3 years ago
- A formalization of System Fω in Agda☆19Updated 7 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 11 months ago
- An implementation of Haskell’s MVars in Racket☆30Updated 11 months ago
- ☆45Updated 2 years ago
- Functional interfaces and datatypes for Racket☆43Updated 4 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆33Updated last week
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆56Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated 2 years ago
- Interactive holes for Lean 4☆22Updated last year
- Racket bindings for Z3☆24Updated 6 years ago
- Use Python from Racket☆33Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated last month
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 3 months ago
- ☆41Updated 3 months ago
- An embeddable flow-oriented language.☆72Updated last month
- ☆39Updated 2 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- Collection of syntax/parse macros☆31Updated 2 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 5 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 7 months ago