shriram / racket-embed-images-in-source-textView external linksLinks
Reader to enable embedding images in source files as text
☆22Dec 22, 2024Updated last year
Alternatives and similar repositories for racket-embed-images-in-source-text
Users that are interested in racket-embed-images-in-source-text are comparing it to the libraries listed below
Sorting:
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- GUI Frosthaven Scenario Manager☆17Feb 7, 2026Updated last week
- ☆15Jul 7, 2022Updated 3 years ago
- ☆16Nov 6, 2022Updated 3 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- racket llvm C-API bindings☆17Feb 7, 2026Updated last week
- 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
- A diagram drawing library for Racket☆20Dec 16, 2020Updated 5 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- Racket parser for tree-sitter☆36Dec 13, 2025Updated 2 months ago
- A property-based testing library for Racket.☆34Apr 26, 2024Updated last year
- Use Python from Racket☆36Dec 5, 2025Updated 2 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Dec 26, 2025Updated last month
- A Scala-style magic function application form☆43Jul 31, 2022Updated 3 years ago
- virtualenv like tool for Racket☆31Nov 20, 2022Updated 3 years ago
- Easy scripting for DrRacket☆18Nov 21, 2025Updated 2 months ago
- Mocking library for Racket☆22Oct 23, 2020Updated 5 years ago
- A zipper library for Racket☆20May 1, 2016Updated 9 years ago
- A grammar of data manipulation for Racket.☆20Aug 26, 2025Updated 5 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- a code coverage tool for racket☆39May 16, 2024Updated last year
- ☆12Jun 7, 2024Updated last year
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- ☆13Mar 2, 2015Updated 10 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 2 months ago
- Solarized color theme for DrRacket☆56May 8, 2014Updated 11 years ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- Daily snapshots of the Racket Package Catalog.☆11Aug 19, 2025Updated 5 months ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year