Search Package Index

24 packages found

 PackageDescriptionBuild

2htdp-typed

A partial version of 2htdp for Typed Racket

succeeds

alexis-util

Various utilities and helper functions I've found useful

succeeds

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

Docs: README
succeeds

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

succeeds
New

css

A CSS Engine written in pure Typed Racket

succeeds

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.

succeeds

digimon

The (typed) core to construct the digital world

succeeds

intern

Type-safe interning of datatype in Typed Racket as a new sub-type of Index

Docs: README
succeeds

irc-client

A higher-level, typed wrapper around the irc package

succeeds

niceware

Typed Racket port of the Niceware library for memorable passphrases and key encoding

succeeds
New

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.

Docs: README
succeeds

require-typed-check

require/typed, but skips contracts on already-typed imports

succeeds

schema

A data modeling tool for Typed Racket

succeeds

set-extras

Some conveniences for set, including fancy unicode aliases and more comprehension forms

Docs: README
succeeds

tmemoize

A basic memoize utility for typed racket

succeeds

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.

succeeds

trivial

type-tailored standard library functions

succeeds

type-conventions

Forms for giving specific argument names implicit types

Docs: README
succeeds
New

type-expander

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

succeeds

typed-racket-stream

Streams for typed racket

Docs: README
succeeds

typed-stack

A simple stack library written in TR.

succeeds

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.

succeeds

typed-worklist

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

succeeds

xlist

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

succeeds