Andrew Kent

icon indicating a website link http://pnwamk.github.io

icon company @AWS icon location Portland, OR icon location Software Development Engineer @ AWS Programming Languages PhD

Results 2 repositories owned by Andrew Kent

datatype

35
Stars
6
Forks
Watchers

(Somewhat) Algebraic Data Types for Racket

verified publisher icon pnwamk

stop2015-redex

18
Stars
2
Forks
Watchers

PLT Redex model of basic Dependently Typed Racket calculus

verified publisher icon pnwamk