Sam Elliott

idris-erlang. Erlang Backend for Idris Compiler

abis. Big List of ABI Resources

ironmaster. [Deprecated] An Erlang server management app.

kb. A Public Knowledge Base

animated-wookie. Tagged Reliable Causal Broadcast Prototype

cs4414-project. An Implementation of Raft in Rust

sat. Rust

chrovember. A chrome extension a day throughout november

cs4414-ps4. http://rust-class.org/pages/ps4.html

fictional-guide. C

AchtungMinen. A basic minesweeper game complete with several AIs

octopus. Erlang channel-based messaging

robotics. Sam & Mark attempt to implement 2D Kinect Fusion

opentitan. OpenTitan: Open source silicon root of trust

B33r.