PhD Student @ Brown University
Pinned Loading
-
hazelgrove/hazel
hazelgrove/hazel PublicHazel, a live functional programming environment with typed holes
-
wikichan
wikichan Public archiveA WebExtension and userscript that displays information from Wikipedia and other sources in a popup for the hovered text.
TypeScript
-
hazelgrove/error-localization-agda
hazelgrove/error-localization-agda PublicMechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.
Agda 4
-
-
-
fplab/grove-agda
fplab/grove-agda PublicMechanization of Grove, a collaborative structured editing calculus
Agda 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.