The Racket repository

WIP implementation of a Haskell-like Lisp in Racket

Typed Racket

Rhombus programming language

A bibliography on Gradual Typing

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

staged relational interpreters: running with holes, faster

Dependently-typed language with Iverson-style implicit lifting

An embeddable flow-oriented language.

A Scheme-like CBPV language with Racket Interoperability

A metalanguage for creating sophisticated DSLs in Racket.

Packages for studying the connections between Qi and Category Theory.