Search Package Index

33 packages found

 PackageDescriptionBuild 

aful

A fork of #lang afl which also supports #lang aflu/unhygienic.

Docs:
succeeds0

anaphoric

Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`.

Docs:
Tags:
succeeds0

auto-syntax-e

For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x).

Tags:
succeeds0

backport-template-pr1514

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.

succeeds0

chain-module-begin

Helper to define meta-languages which can chain-call other languages. Status: Experimental (no backwards compatibility).

succeeds0

debug-scopes

Some utilities which help debugging scope-related issues for unhygienic macros

succeeds0

delay-pure

Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.

succeeds0

dotlambda

Splits dotted identifiers like a.b.c, also supports λ<arg>.(code) syntax. Experimental (i.e. there may be small breaking changes in later versions).

Docs:
succeeds0

extensible-parser-specifications

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".

succeeds0

hyper-literate

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.

succeeds0

multi-id

Define identifiers which act as a type-expander and match-expander and macro and identifier macro and set! transformer

succeeds0

phc-adt

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.

succeeds0

phc-adt-doc

Documentation for phc-adt (and rendering of the literate programming)

succeeds0

phc-adt-lib

Implementation of phc-adt

This package needs documentation

Tags:
succeeds3

phc-adt-test

Tests for phc-adt

This package needs documentation

succeeds3

phc-toolkit

Personal collection of utilities. Somewhat unstable and sparsely documented (for now).

succeeds0

polysemy

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.

Docs:
succeeds0

remember

Compile-time memoize across compilations. Writes values to a file, so that they will be remembered during the next compilation.

succeeds0

repltest

REPL test: copy-paste REPL interactions and run them as tests

Docs:
succeeds0

scope-operations

High-level operations on scopes and sets of scopes, for use in unhygienic macros.

succeeds0

scribble-enhanced

Temporary package, will eventually be merged into the scribble-math and hyper-literate packages. Do not use.

succeeds0

scribble-math

Typesetting math in scribble (uses MathJax and/or KaTeX). Also supports figures with Asymptote.

succeeds0

stxparse-info

Patched version of syntax/parse which tracks which syntax pattern variables are bound. Use (current-pvars) to access that list.

succeeds0

subtemplate

Experimental. In a syntax template, auto-generate yᵢ … from xᵢ … . Also includes several improvements, like ellipses outside of syntax templates, and ellipsis-preserving unsyntax.

succeeds0

tr-immutable

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.

succeeds0

type-expander

Type expanders for typed/racket, which work like match expanders for match

succeeds0

typed-map

Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.

Docs:
succeeds0

typed-map-doc

Documentation for typed-map

Docs:
succeeds0

typed-map-lib

Implementation of typed-map

This package needs documentation

Tags:
succeeds3

typed-map-test

Tests for typed-map

This package needs documentation

succeeds3

typed-struct-props

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.

succeeds0

typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

succeeds0

xlist

Fancy lists, with bounded or unbounded repetition of elements. Can be used as a type or match pattern.

Docs:
succeeds0