Michael

pyramid-scheme. Pyramid is a language to create Ethereum smart contracts

nes-emulator. A NES emulator made to learn the Rust programming language

haskoin. Proof-of-concept Blockchain in Haskell

pornview. Porn browser formally-verified in Coq

lambda-exchange. Data structures/API for a Bitcoin exchange

redshift-shellcode. Example of injecting x64 shellcode into Amazon Redshift

yxdb-utils. Utilities for parsing Alteryx Database format

pond.js. Programs compete for CPU in the same memory space

js-jit. An x64 JIT compiler for a subset of Javascript

goodsteins-theorem. A formal proof of Goodstein's theorem

ceagle. C compiler targeting Pyramid Scheme, which targets the Ethereum Virtual Machine

underrail-unpacker. Does some minimal unpacking of Underrail files, specifically global.dat

stockfighter-jailbreak. Command line tools for the Stockfighter Jailbreak game

project-euler. A dump of my Project Euler solutions

file-graph. graphviz example with Haskell

ethereum. Typed Racket implementation of common Ethereum libraries

delta-debugging-example. C++

haskell-authorize-net. Haskell SDK for the Authorize.NET API

rockstar-problem. Perl

HaXml. Development copy of HaXml

ExampleDB. Haskell

matroids. Coq

mandelbrot. Go

llama2.c. Inference Llama 2 in one file of pure C

ChineseChess. C++