mflatt / plaitLinks
☆22Updated 2 years ago
Alternatives and similar repositories for plait
Users that are interested in plait are comparing it to the libraries listed below
Sorting:
- A server, client and UI for remotely debugging Racket applications.☆29Updated 11 months ago
- Adds syntax to racket languages☆11Updated 2 years ago
- Collection of syntax/parse macros☆30Updated 2 years ago
- ☆19Updated 2 years ago
- a simple x64 assembler written in typed/racket☆18Updated 4 years ago
- A diagram drawing library for Racket☆19Updated 4 years ago
- ☆15Updated 2 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- Darwin is a static blog generator written in Racket - forked from Frog☆18Updated 4 years ago
- SLAYER ported to Racket☆21Updated 5 years ago
- Chief runs Procfile-based applications. Like foreman, but written in Racket.☆25Updated 2 years ago
- Scripts for Quickscript☆10Updated 2 months ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- Stronger types for a few Typed Racket operators☆11Updated last year
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Use Python from Racket☆30Updated 10 months ago
- Terminal emulator in racket☆42Updated last year
- Easy scripting for DrRacket☆18Updated 2 weeks ago
- ☆18Updated 2 years ago
- Erlang-style binaries/bitstrings for Racket☆32Updated 4 years ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 7 months ago
- Simple Racket implementation of the OAuth2 family of specifications☆13Updated 4 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆38Updated 3 years ago
- ☆40Updated this week
- Multi-file check-syntax database☆14Updated 9 months ago
- nand-lang☆15Updated 7 years ago
- A linter for Racket.☆46Updated 2 weeks ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago