#lang programming language for Racket with first-class environments
Updated 2025-03-25 01:45:05 +00:00
Fancy lists, to be used as a type or match pattern.
Updated 2025-03-25 01:04:10 +00:00
Whalesong: Racket to JavaScript compiler
Updated 2025-03-25 01:02:22 +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
Stronger types for a few Typed Racket operators
Updated 2025-03-25 01:00:14 +00:00
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Updated 2025-03-25 00:58:57 +00:00
Test case for scribble, where the tag prefix within the table of contents does not work.
Updated 2025-03-25 00:58:17 +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
remix - a revised version of Racket
Updated 2025-03-25 00:51:43 +00:00
Compile-time memoization for Racket.
Updated 2025-03-25 00:51:23 +00:00
Updated 2025-03-25 00:50:36 +00:00