Pinned Repositories
ceagle
C compiler targeting Pyramid Scheme, which targets the Ethereum Virtual Machine
haskoin
Proof-of-concept Blockchain in Haskell
js-jit
An x64 JIT compiler for a subset of Javascript
lambda-exchange
Data structures/API for a Bitcoin exchange
nes-emulator
A NES emulator made to learn the Rust programming language
pond.js
Programs compete for CPU in the same memory space
pornview
Porn browser formally-verified in Coq
pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
redshift-shellcode
Example of injecting x64 shellcode into Amazon Redshift
yxdb-utils
Utilities for parsing Alteryx Database format
MichaelBurge's Repositories
MichaelBurge/yxdb-utils
Utilities for parsing Alteryx Database format
MichaelBurge/goodsteins-theorem
A formal proof of Goodstein's theorem
MichaelBurge/project-euler
A dump of my Project Euler solutions
MichaelBurge/underrail-unpacker
Does some minimal unpacking of Underrail files, specifically global.dat
MichaelBurge/ChineseChess
MichaelBurge/ExampleDB
MichaelBurge/mandelbrot
MichaelBurge/matroids
MichaelBurge/rockstar-problem
MichaelBurge/2048-solver
MichaelBurge/corn
MichaelBurge/dirty-bomb-card-simulator
A script used to calculate costs & probabilities for getting cards for the F2P game Dirty Bomb.
MichaelBurge/fast-list
Faster directory listing than ls
MichaelBurge/gambling-script
MichaelBurge/genetic-vm
MichaelBurge/llvm-examples
A collection of Project Euler problems with solutions written in LLVM IR
MichaelBurge/number-theory
Implementing "A Course in Computational Number Theory"
MichaelBurge/representation-theory
MichaelBurge/rgbdisplay
MichaelBurge/sudoku
MichaelBurge/vm
Virtual machine for a genetic programming experiment
MichaelBurge/windows-assembly-example
World's smallest example of how to call assembly routines from C code
MichaelBurge/zeroclickinfo-goodies
DuckDuckGo instant answer plugins based on Perl functions