-
PLT @ Indiana University
- Bloomington, IN
-
14:37
(UTC -05:00) - http://samth.github.io
- https://orcid.org/0000-0003-1302-6499
Highlights
- Pro
Stars
book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]
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.
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
A curated list of awesome Racket frameworks, libraries and software, maintained by Community
Analyze data from swim, bike and run activities
Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]
A practical guide to Racket macros
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