Michael

Results 6 repositories owned by


                                            Michael

Stars

Forks

Watchers

Proof-of-concept Blockchain in Haskell

Stars

Forks

Watchers

Data structures/API for a Bitcoin exchange

224

Stars

Forks

Watchers

A NES emulator made to learn the Rust programming language

Stars

Forks

Watchers

Porn browser formally-verified in Coq

243

Stars

Forks

Watchers

Pyramid is a language to create Ethereum smart contracts

Stars

Forks

Watchers

Example of injecting x64 shellcode into Amazon Redshift