rfindler

Robby Findler's repositories

Language:Coq13 10 2

Language:Racket5 20

Language:JavaScript4 50

Language:Racket4 50

Language:Racket3 20

Language:Racket3 30

Language:HTML1 40

A CSS Engine written in Typed Racket

Language:Racket020

Language:Racket020

Language:Racket000

Language:RacketNOASSERTION010

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

Language:Racket010

A compiler for the gradually typed lambda calculus

Language:CMIT000

Language:Racket020

Language:Racket000

Language:Racket030

Miscellany

Language:Racket000

Typed Racket

Language:RacketNOASSERTION000