esilkensen/auth
A semantic notion of authority.
Developer Profile
esilkensen
Discovered public repositories for esilkensen in the GitHub catalog.
esilkensen/coq
Coq playground
esilkensen/lambdachair
A simple conference review system.
esilkensen/breeze
Public repository.
esilkensen/cmm
A Redex model for Contracts Made Manifest.
esilkensen/cwc
A Redex model for The Essence of Compiling with Continuations.
esilkensen/esc
A tool for designing composable DSLs.
esilkensen/secure
Racket with Dynamic IFC.
esilkensen/yaml
A YAML library for Racket.