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/pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
MichaelBurge/nes-emulator
A NES emulator made to learn the Rust programming language
MichaelBurge/haskoin
Proof-of-concept Blockchain in Haskell
MichaelBurge/pornview
Porn browser formally-verified in Coq
MichaelBurge/lambda-exchange
Data structures/API for a Bitcoin exchange
MichaelBurge/redshift-shellcode
Example of injecting x64 shellcode into Amazon Redshift
MichaelBurge/pond.js
Programs compete for CPU in the same memory space
MichaelBurge/js-jit
An x64 JIT compiler for a subset of Javascript
MichaelBurge/ceagle
C compiler targeting Pyramid Scheme, which targets the Ethereum Virtual Machine
MichaelBurge/file-graph
graphviz example with Haskell
MichaelBurge/stockfighter-jailbreak
Command line tools for the Stockfighter Jailbreak game
MichaelBurge/delta-debugging-example
MichaelBurge/ethereum
Typed Racket implementation of common Ethereum libraries
MichaelBurge/haskell-authorize-net
Haskell SDK for the Authorize.NET API
MichaelBurge/HaXml
Development copy of HaXml
MichaelBurge/llama2.c
Inference Llama 2 in one file of pure C
MichaelBurge/awesome-cl
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
MichaelBurge/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
MichaelBurge/collatz
MichaelBurge/destruct
Racket macro to introduce local bindings for every field in a struct
MichaelBurge/hosting
Contains our stable, nightly, and testing bootstraps / artifacts for the OpenOSRS Launcher
MichaelBurge/lean4
Lean 4 programming language and theorem prover
MichaelBurge/manifold-1
Manifold Markets: A market for every question
MichaelBurge/minecraft-plugins
A collection of Minecraft server plugins I made in 2011
MichaelBurge/protolude
A sensible starting Prelude template.
MichaelBurge/redex
MichaelBurge/specs
Specs - Parallel ECS
MichaelBurge/stenc
SCSI Tape Encryption Manager - stenc (formerly on https://sourceforge.net/projects/stenc/)
MichaelBurge/tch-rs
Rust bindings for PyTorch
MichaelBurge/typed-racket
Typed Racket