Developed by devhub.io
The Racket repository
WIP implementation of a Haskell-like Lisp in Racket
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Synthesis for floating-point expressions
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
A Digital Scientific Notation
Pyramid is a language to create Ethereum smart contracts
Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
Constraint programming language embedded in Racket