ghcooper

Pinned Repositories

dafny
Dafny is a verification-aware programming language
Language:C#2.8k 80 2.6k254
dafny
Dafny is a verification-aware programming language
Language:C#00
frtime
Language:Racket00
drracket
DrRacket, IDE for Racket
Language:Racket444 42 53993
eopl
Language:Racket36 30 014
gui
Language:Racket64 30 17876
htdp
Language:Racket92 26 12869
racket
The Racket repository
Language:Racket4.7k 145 2.1k649
racket7
Language:Racket169 39 99
web-server
Language:Racket90 32 4647

ghcooper's Repositories

ghcooper/dafny
Dafny is a verification-aware programming language
Language:C#00
ghcooper/frtime
Language:Racket00