dfeltey/tr-ports
Ports of some racket programs to typed racket
Javascript implementation of the C programming language
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Ports of some racket programs to typed racket
Simple software synthesizer in Racket
An interpreter for the simply typed lambda calculus using rackets class system.
The Racket repository