An abstract machine for analyzing Racket bytecode.
☆29May 1, 2021Updated 4 years ago
Alternatives and similar repositories for abstract-racket
Users that are interested in abstract-racket are comparing it to the libraries listed below
Sorting:
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 4 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A YAML library for Racket.☆20Jan 19, 2026Updated last month
- Disassembler for Racket☆79Jun 20, 2025Updated 8 months ago
- A Racket package for creating and composing pure functional lenses☆79Sep 10, 2019Updated 6 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Racket port of the nanopass-framework☆34May 1, 2021Updated 4 years ago
- A grammar of data manipulation for Racket.☆20Aug 26, 2025Updated 6 months ago
- A zipper library for Racket☆20May 1, 2016Updated 9 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Make simple HTTP requests with Racket☆24Jun 13, 2020Updated 5 years ago
- Racket support for HTTP 1.1.☆27May 22, 2025Updated 9 months ago
- JPEG parsing, transformation, and codec library for Racket☆18Sep 18, 2016Updated 9 years ago
- nanopass compiler framework for Racket☆200Jan 20, 2024Updated 2 years ago
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 3 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Nov 11, 2013Updated 12 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 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
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- Demonstration of implementing a language in Racket☆58Jul 9, 2014Updated 11 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324May 1, 2021Updated 4 years ago
- Scripting language for testing JSON-based HTTP APIs☆47Oct 13, 2021Updated 4 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- GC statistics for Racket☆12Feb 2, 2026Updated 3 weeks ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- A Kafka client for Racket.☆18Aug 4, 2025Updated 6 months ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Nanopass scheme compiler in scheme for x86☆68Feb 2, 2017Updated 9 years ago