GC statistics for Racket
☆12Feb 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for gcstats
Users that are interested in gcstats are comparing it to the libraries listed below
Sorting:
- Implementation of local and remote loci for Racket☆12Jan 8, 2021Updated 5 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- A simple Racket package to display text tables with utf-8 boxes☆12Jun 28, 2023Updated 2 years ago
- A Racket library to output colored text to the terminal on any platform, including Windows☆18Nov 17, 2016Updated 9 years ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- A diagram drawing library for Racket☆20Dec 16, 2020Updated 5 years ago
- ☆27Mar 4, 2023Updated 2 years ago
- ☆19Mar 10, 2023Updated 2 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Jun 15, 2023Updated 2 years ago
- ☆15Jul 7, 2022Updated 3 years ago
- Decentralized Software Organisms☆18May 16, 2022Updated 3 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 7 months ago
- Make simple HTTP requests with Racket☆24Jun 13, 2020Updated 5 years ago
- lang lua for racket☆24Dec 14, 2022Updated 3 years ago
- A DSL for runtime code generation in racket☆68May 31, 2022Updated 3 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- ☆12Jun 7, 2024Updated last year
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Daily snapshots of the Racket Package Catalog.☆11Aug 19, 2025Updated 6 months ago
- ☆12Jun 13, 2023Updated 2 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- The networking library that Racketeers deserve☆14Jan 4, 2018Updated 8 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated 3 weeks ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- Official collection of YASnippet Haskell snippets for Emacs.☆13Feb 28, 2021Updated 5 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Collection of syntax/parse macros☆31Nov 1, 2022Updated 3 years ago
- A minimalist web framework for the Racket web-server☆27Mar 10, 2023Updated 2 years ago
- Disassembler for Racket☆79Jun 20, 2025Updated 8 months ago
- raart - racket ansi art☆14May 17, 2022Updated 3 years ago
- Simple conversion from Agda text to literate Agda text.☆14Dec 26, 2025Updated 2 months ago