Designing Programs with Class
☆28Jan 30, 2018Updated 8 years ago
Alternatives and similar repositories for dpc
Users that are interested in dpc are comparing it to the libraries listed below
Sorting:
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- ☆19Mar 10, 2023Updated 2 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 3 months ago
- ☆15Jul 7, 2022Updated 3 years ago
- A grammar of data manipulation for Racket.☆20Aug 26, 2025Updated 6 months ago
- Multi-file check-syntax database☆14Aug 20, 2024Updated last year
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- Format Racket source code☆15Jul 23, 2022Updated 3 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Jun 11, 2024Updated last year
- a code coverage tool for racket☆39May 16, 2024Updated last year
- Racket bindings for Z3☆24May 11, 2019Updated 6 years ago
- Implementation of local and remote loci for Racket☆12Jan 8, 2021Updated 5 years ago
- Collection of syntax/parse macros☆31Nov 1, 2022Updated 3 years ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- A diagram drawing library for Racket☆20Dec 16, 2020Updated 5 years ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Nov 24, 2025Updated 3 months ago
- Darwin is a static blog generator written in Racket - forked from Frog