Lists (1)
Starred repositories
22
results
for source starred repositories
written in Racket
Clear filter
WIP implementation of a Haskell-like Lisp in Racket
Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.
Reusable Reproducible Composable Software
Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
Canonical miniKanren implementation in Racket
A prototype of soft contract verification for an untyped functional language
Racket implementation of Cook and Lämmel's partial evaluation tutorial.
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
This is a remake of a game within the game Track and Field for NES. The game is Archery and is quite difficult. The revamped version was created in Racket, using DrRacket, in the Beginning student …
Quick and dirty visual novel engine in racket