Christopher A. Stone's repositories
andromeda
A minimalist implementation of type theory, suitable for experimentation
Language:OCamlNOASSERTION000
christopherastone
Custom profile
Apache-2.0000
Language:Swift000
Language:C++MIT000
eff
A functional programming language based on algebraic effects and their handlers.
Language:OCamlBSD-2-Clause000
Language:PythonMIT000
sarray
Investigation of suffix arrays
000