| -1768798227 New | | A fork of #lang afl which also supports #lang aful/unhygienic. This package needs license metadata | succeeds | 2 |
| -1768798234 New | | Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`. This package needs license metadata | succeeds | 2 |
| -1768798243 New | | For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x). This package needs license metadata | succeeds | 2 |
| -1768798248 New | | Backports syntax-local-template-metafunction-introduce as a package, so that it can be used in older versions. Require backport-template-pr1514/experimental/template instead of syntax/parse/experimental/template to use it. This package needs license metadata | succeeds | 2 |
| -1768798266 New | | Helper to define meta-languages which can chain-call other languages. Status: Experimental (no backwards compatibility). This package needs license metadata | succeeds | 2 |
| -1768798295 New | | Some utilities which help debugging scope-related issues for unhygienic macros This package needs license metadata | succeeds | 2 |
| -1768801892 | | Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed. This package needs license metadata | succeeds | 2 |
| -1768798309 New | | Splits dotted identifiers like a.b.c, also supports λ<arg>.(code) syntax. Experimental (i.e. there may be small breaking changes in later versions). This package needs license metadata | succeeds | 2 |
| -1768801925 | | Prototype of a proof-of-concept for a language with first-class environments. This package needs license metadata | succeeds; has dependency problems; has failing tests | 5 |
| -1768798337 New | | Unstable, and has seemingly unsolvable problems with module boundaries. This package works like seq-no-order by Alexander Knauth, but adds reusable (within the same module) clauses and global constraints like "a must occur before b" or "a mutually exclusive with c". Docs: extensible-parser-specifications
This package needs license metadata | fails | 6 |
| -1768798390 New | | Some tools which help build hyper-literate programs. For now, this only contains a few changes from scribble/lp2, including support for typed/racket literate programs. This package needs license metadata | succeeds | 2 |
| -1768798457 New | | Define identifiers which act as a type-expander and match-expander and macro and identifier macro and set! transformer This package needs license metadata | succeeds | 2 |
| -1768798480 New | | Algebraic Data Types for Typed/Racket, with features tailored to compiler writing. The data types do not have to be declared before they are used, like prefab structs and symbols. Behind the scenes, this library remembers all the data types in a file, and uses it to implicitly pre-declare them. Mostly stable, although some things may change a bit in the future. Docs: phc-adt-implementationphc-adt
This package needs license metadata | fails | 6 |
| -1768798483 New | | Documentation for phc-adt (and rendering of the literate programming) Docs: phc-adt-implementationphc-adt
This package needs license metadata | fails | 6 |
| -1768798487 New | | Implementation of phc-adt This package needs documentation This package needs license metadata | fails | 6 |
| -1768798490 New | | Tests for phc-adt This package needs documentation This package needs license metadata | fails | 6 |
| -1768798494 New | | Personal collection of utilities. Somewhat unstable and sparsely documented (for now). This package needs license metadata | succeeds | 2 |
| -1768798507 New | | Highly experimental and unstable. Attach multiple meanings to an identifier (match expander, function overloads, macros, custom "~literal" tokens…). Rename parts of identifiers (rename only some meanings, leaving others with the original name). Compose hybrid identifiers by mixing the meanings of two or more independently defined identifiers. This package needs license metadata | succeeds | 2 |
| -1768798548 New | | Compile-time memoize across compilations. Writes values to a file, so that they will be remembered during the next compilation. This package needs license metadata | succeeds | 2 |
| -1768798552 New | | REPL test: copy-paste REPL interactions and run them as tests This package needs license metadata | fails | 6 |
| -1768798578 New | | High-level operations on scopes and sets of scopes, for use in unhygienic macros. This package needs license metadata | succeeds | 2 |
| -1768798583 New | | Temporary package, will eventually be merged into the scribble-math and hyper-literate packages. Do not use. This package needs license metadata | succeeds | 2 |
| -1768798587 New | | Typesetting math in scribble (uses MathJax and/or KaTeX). Also supports figures with Asymptote. This package needs license metadata | succeeds | 2 |
| -1768798621 New | | Patched version of syntax/parse which tracks which syntax pattern variables are bound. Use (current-pvars) to access that list. This package needs license metadata | fails | 6 |
| -1768802199 | | Experimental. In a syntax template, auto-generate yᵢ … from xᵢ … . Also includes several improvements, like ellipses outside of syntax templates, and ellipsis-preserving unsyntax. This package needs license metadata | fails | 6 |
| -1768798644 New | | Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not documented yet. I'm currently dogfooding this to work out the best strategy. This package needs license metadata | succeeds | 2 |
| -1768802233 | | Type expanders for typed/racket, which work like match expanders for match This package needs license metadata | succeeds | 2 |
| -1768798663 New | | Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1768798666 New | | Documentation for typed-map This package needs license metadata | succeeds | 2 |
| -1768798670 New | | Implementation of typed-map This package needs documentation This package needs license metadata | succeeds | 4 |
| -1768798673 New | | Tests for typed-map This package needs documentation This package needs license metadata | succeeds | 4 |
| -1768798679 New | | Some struct type properties in Typed/Racket, in a more type-safe way.
The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties. This package needs license metadata | succeeds | 2 |
| -1768798682 New | | A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types. This package needs license metadata | succeeds | 2 |
| -1768798704 New | | Fancy lists, with bounded or unbounded repetition of elements. Can be used as a type or match pattern. This package needs license metadata | succeeds | 2 |