typed-racket

There are 13 repositories under typed-racket topic.

t0mpr1c3/knotty
A domain-specific language for knitting patterns
Language:Racket65 2 393
takikawa/tr-pfds
Typed Racket data structure libraries
Language:Racket59 6 713
SuzanneSoy/type-expander
Type expanders (i.e. type-level functions) for Typed/Racket
Language:Racket16 4 113
wargrey/w3s
W3 Standards implementation
Language:Racket10 2 03
wargrey/graphics
Essential computer graphics
Language:Racket9 1 14
lehitoskin/typed-stack
Typed Racket implementation of a stack library
Language:Racket6 1 22
dalev/minikanren-typed-racket
An implementation of miniKanren in Typed Racket.
Language:Racket5 1 00
wargrey/clang
A sort of C/C++ utilities in pure Typed Racket
Language:Racket5 1 01
JCPedroza/algorithms-and-data-structures-rkt
Algorithms and data structures implemented in Raket
Language:Racket3 2 01
wargrey/digimon
The (typed) base to construct the digital world
Language:Racket3 2 03
SuzanneSoy/tr-immutable
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Language:Racket2 3 0
foxiepaws/typed-racket-irc
Typed Racket IRC library
Language:Racket1 1 10
wargrey/psd
Read and Write Photoshop Documents
Language:Racket1 1 01