christopherastone

Professor of Computer Science

Harvey Mudd College

Pinned Repositories

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

christopherastone's Repositories

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