#
Lists (21)
🚂agents-new
13 repositories
awesome-lists
122 repositories
competitors
11 repositories
🕵️ cryptgpt
4 repositories
dev env
2 repositories
Future stack
64 repositories
inbox
58 repositories
maddy-project
10 repositories
mcp
11 repositories
ml-consulting
5 repositories
🚀 My stack
62 repositories
remarkable
6 repositories
research-inbox
162 repositories
Retired stack
20 repositories
🧚♀️ sam
222 repositories
👾 diwank.space
5 repositories
tasks
4 repositories
thoughts
41 repositories
🔧tools
26 repositories
Training
164 repositories
🤖turbo
22 repositories
Starred repositories
17
stars
written in Racket
Clear filter
book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
WIP implementation of a Haskell-like Lisp in Racket
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
Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
Canonical miniKanren implementation in Racket
A simple starting point for doing deep learning in Racket
A synthesis-enabled solver for relational logic
Exploring Automatic Differentiation with Racket