rackunit-typed
Typed Racket interface to the RackUnit testing framework
Latest release v6.12 - Published - 9 stars
type-conventions
Forms for giving specific argument names implicit types
Latest release - Published - 6 stars
compact-annotations
Function type annotation syntax for Typed Racket similar to Haskell
Latest release - Published - 5 stars
typed-stack
A simple stack library written in TR.
Latest release - Published - 2 stars
alexis-util
Various utilities and helper functions I've found useful
Latest release - Published - 1 stars
gtp-checkup
Test correctness of typed/untyped interaction.
Latest release - Published
2htdp-typed
A partial version of 2htdp for Typed Racket
Latest release - Published - 6 stars
require-typed-check
require/typed, but skips contracts on already-typed imports
Latest release space-efficient - Published - 1 stars
typed-racket-stream
Streams for typed racket
Latest release - Published - 1 stars
intern
Type-safe interning of datatype in Typed Racket as a new sub-type of Index
Latest release - Published
set-extras
Some conveniences for set, including fancy unicode aliases and more comprehension forms
Latest release - Published
digimon
The (typed) core to construct the digital world
Latest release - Published
bnf
Concise Typed Racket syntax for declaring recursive data in BNF
Latest release - Published
schema
A data modeling tool for Typed Racket
Latest release - Published
irc-client
A higher-level, typed wrapper around the irc package
Latest release - Published - 2 stars
clang
Toolbox for C family in Typed Racket
Latest release - Published - 1 stars
psd
Read (and will write) Photoshop Documents
Latest release - Published
graphics
Essential computer graphics for Typed Racket
Latest release - Published
mox
Open XML for Microsoft Office
Latest release - Published
w3s
W3 Standards Implemented in Typed Racket
Latest release - Published
trivial
type-tailored standard library functions
Latest release - Published
type-expander
Type expanders for typed/racket, which work like match expanders for match
Latest release - Published
typed-minikanren
An implementation of miniKanren in typed racket.
Latest release - Published
typed-racket-hacks
Various workarounds for Typed Racket, most of which are expected to be eventually obsolete
Latest release - Published
x64asm
a simple x64 assembler written in Typed Racket
Latest release - Published
delay-pure
Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unl...
Latest release - Published
json-type-provider
A well-typed JSON parser for Typed Racket inspired by Type Provider
Latest release - Published
prefab-predicate-compat
Provides `define-backwards-compatible-flat-prefab-predicate`which is like `define-predicate` but ...
Latest release - Published
typed-struct-props
Some struct type properties in Typed/Racket, in a more type-safe way. The API should hopefully...
Latest release - Published
typed-compose
Utilities for composing functions in Typed Racket.
Latest release - Published
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search