Search Package Index

30 packages found

 PackageDescriptionBuild 

2htdp-typed

A partial version of 2htdp for Typed Racket

succeeds0

alexis-util

Various utilities and helper functions I've found useful

succeeds0

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

This package needs documentation

succeeds3

clang

A series of C utilities for Typed Racket

Docs:
succeeds0

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

succeeds0

css

A CSS Engine written in pure Typed Racket

Docs:
fails5

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

digimon

The (typed) core to construct the digital world

Docs:
succeeds0

graphics

Essential computer graphics for Typed Racket

succeeds; has failing tests4

gtp-checkup

Test correctness of typed/untyped interaction.

succeeds; has failing tests4

intern

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

This package needs documentation

succeeds3

irc-client

A higher-level, typed wrapper around the irc package

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

psd

Read (and will write) Photoshop Documents

Docs:
fails5

New

racket

This package needs a description

This package needs documentation

fails5

rackunit-typed

Typed Racket interface to the RackUnit testing framework

This package needs documentation

3

require-typed-check

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

succeeds0

schema

A data modeling tool for Typed Racket

Docs:
succeeds0

set-extras

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

This package needs documentation

succeeds3

tmemoize

A basic memoize utility for typed racket

Docs:
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

trivial

type-tailored standard library functions

Docs:
succeeds0

type-conventions

Forms for giving specific argument names implicit types

This package needs documentation

succeeds3

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-racket-stream

Streams for typed racket

This package needs documentation

succeeds3

typed-stack

A simple stack library written in TR.

succeeds0

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