Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
A simple pipelined CPU simulator.
A simple ARMv7-A operating system
Implementation of http://www.mdpi.com/2078-2489/8/2/45/htm
A very hacky (and incomplete - no backprop!) Neural Network implementation with dependent types
Compiler for the 'whilst' language
An implementation of the declarative smart contract language describe in my thesis, 'Free Trade: Composable Smart Contracts'
Seeing something unexpected? Take a look at the
GitHub profile guide.