5 open source projects by MichaelBurge

Pyramid is a language to create Ethereum smart contracts

A NES emulator made to learn the Rust programming language

Porn browser formally-verified in Coq

Utilities for parsing Alteryx Database format

Proof-of-concept Blockchain in Haskell