pkoronkevich

don't look at my code

Pinned Repositories

PLGradSchools
223 13 032
fib
the fibonacci only you would give me
Language:Assembly0 0 00
js-pie
Porting Pie to JS
Language:JavaScript1 2 00
mKtuxedo
Ben and Paulette's final project for B522.
Language:Agda1 1 00
partial
Language:Racket1 1 01
pkoronkevich.github.io
website
Language:HTML0 0 01
spl
Language:HTML0 0 00
ECCtoECCA
Implementation of a type-preserving compiler from Luo's ECC to an A-Normal form restricted subset called ECCA
Language:Coq1 1 11

pkoronkevich's Repositories

pkoronkevich/js-pie
Porting Pie to JS
Language:JavaScript1 2 00
pkoronkevich/mKtuxedo
Ben and Paulette's final project for B522.
Language:Agda1 1 00
pkoronkevich/partial
Language:Racket1 1 01
pkoronkevich/fib
the fibonacci only you would give me
Language:Assembly0 0 00
pkoronkevich/pkoronkevich.github.io
website
Language:HTML0 0 01
pkoronkevich/spl
Language:HTML0 0 00