Pinned Repositories
andromeda
A proof assistant for general type theories
andromeda
A minimalist implementation of type theory, suitable for experimentation
christopherastone
Custom profile
Countdown
CSTools
eff
A functional programming language based on algebraic effects and their handlers.
octet
A reimplementation of Bond et al.'s OCTET barriers (lightweight, biased locks) in C++11
proofer
sarray
Investigation of suffix arrays
christopherastone's Repositories
christopherastone/octet
A reimplementation of Bond et al.'s OCTET barriers (lightweight, biased locks) in C++11
christopherastone/andromeda
A minimalist implementation of type theory, suitable for experimentation
christopherastone/christopherastone
Custom profile
christopherastone/Countdown
christopherastone/CSTools
christopherastone/eff
A functional programming language based on algebraic effects and their handlers.
christopherastone/proofer
christopherastone/sarray
Investigation of suffix arrays