Fancy lists, to be used as a type or match pattern.
Updated 2025-03-25 01:04:10 +00:00
A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.
Updated 2025-03-25 01:01:44 +00:00
Makes a small subset of struct type properties available in Typed/Racket. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.
Updated 2025-03-25 01:01:31 +00:00
Type inference helper for map with Typed/Racket. Supports afl, un-annotated lambdas and polymorphic functions.
Updated 2025-03-25 01:00:45 +00:00
Type expanders (i.e. type-level functions) for Typed/Racket
Updated 2025-03-25 01:00:34 +00:00
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Updated 2025-03-25 00:58:57 +00:00
Automatic generation of temporary identifiers for racket syntax templates, based on subscripts indices on the identifiers (e.g. generate yᵢ … from xᵢ …)
Updated 2025-03-25 00:57:32 +00:00
Tracking bound syntax pattern variables with syntax-parse
Updated 2025-03-25 00:57:13 +00:00
Enhancements for the scribble language (a documentation language based on Racket)
Updated 2025-03-25 00:53:24 +00:00
Higher-level operations for manipulating scopes in Racket macros
Updated 2025-03-25 00:52:52 +00:00
REPLtest: Copy-paste your REPL interactions, and have them run as tests
Updated 2025-03-25 00:51:57 +00:00
Compile-time memoization for Racket.
Updated 2025-03-25 00:51:23 +00:00
Some pre-expanded macros. Use them when your macro is generating macros.
Updated 2025-03-25 00:46:35 +00:00
Proof of concept which separates the concept of identifier and the concept of attaching a meaning to it, in Racket.
Updated 2025-03-25 00:43:43 +00:00
Updated 2025-03-25 00:30:52 +00:00
Racket toolkit used for the phc project. Unstable.
Updated 2025-03-25 00:30:34 +00:00
Graph manipulation library in Typed/Racket
Updated 2025-03-25 00:29:37 +00:00
Algebraic Datatypes for Typed/Racket, with some special features useful for writing compilers
Updated 2025-03-25 00:29:20 +00:00
This Racket package helps defining identifiers with many different meanings in different contexts (type expander, match expander, called function, regular identifier, set! subform).
Updated 2025-03-25 00:20:09 +00:00
Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
Updated 2025-03-25 00:14:22 +00:00