pnwamk/typed-racket
Andrew's Typed Racket fork
Developer Profile
pnwamk
Discovered public repositories for pnwamk in the GitHub catalog.
pnwamk/racket
The Racket repository
pnwamk/andmkent.github.io
home page & blog
pnwamk/mtest
Simple macros for simple testing in (Typed) Racket.
pnwamk/fme
Fourier-Motzkin Elimination in Racket
pnwamk/tr-calc
Representations of the core calculi for Typed Racket
pnwamk/encryp-misc
some little security tinkering
pnwamk/strands
Embedding strand spaces in Coq and working to verify correctness and other properties.