Cody Koeninger's starred repositories
type-systems
Implementations of various type systems in OCaml.
dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
rusty-cheddar
A Rust crate for automatically generating C header files from Rust source file.
chat-with-akka-http-websockets
Small simple sample of a multi-user chat over websockets