Stars
12
stars
written in Racket
Clear filter
WIP implementation of a Haskell-like Lisp in Racket
A curated list of awesome Racket frameworks, libraries and software, maintained by Community
A practical guide to Racket macros
Constraint programming language embedded in Racket
A language-integrated proof assistant, for and in Racket
An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
A playground for type theory implementations in Racket