Giters
Christopher A. Stone (christopherastone)

christopherastone

Geek Repo

6

followers

0

following

5

stars

Company:Harvey Mudd College

Home Page:https://cs.hmc.edu/~stone

Github PK Tool:Github PK Tool

Christopher A. Stone's repositories

octet

A reimplementation of Bond et al.'s OCTET barriers (lightweight, biased locks) in C++11

Language:C++License:MITStargazers:2Issues:0Issues:0

andromeda

A minimalist implementation of type theory, suitable for experimentation

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

christopherastone

Custom profile

License:Apache-2.0Stargazers:0Issues:0Issues:0

Countdown

Language:SwiftStargazers:0Issues:0Issues:0

CSTools

Language:C++License:MITStargazers:0Issues:0Issues:0

eff

A functional programming language based on algebraic effects and their handlers.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

proofer

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

sarray

Investigation of suffix arrays

Stargazers:0Issues:0Issues:0