Discover @MichaelBurge Open Source projects

Michael (@MichaelBurge)

MichaelBurge

Stars
734
Global Rank 41,040 (Top 2 %)
Registered over 12 years ago
Most used languages

Haskell
38.5 %

Coq 11.5 %

Racket
11.5 %

C++
7.7 %

JavaScript
7.7 %

C#
3.8 %

Emacs Lisp
3.8 %

Perl
3.8 %

PLpgSQL 3.8 %

Go
3.8 %

Rust
3.8 %
Location 🇺🇸 United States
Country Total Rank 11,235
Country Ranking

Racket
17

Coq 22

PLpgSQL 111

Haskell
186

Emacs Lisp
463

Rust
672

Perl
3,874

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

leafy-mode

Emacs minor-mode built on top of org-mode for working with ChatGPT

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

file-graph

graphviz example with Haskell

underrail-unpacker

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

project-euler

A dump of my Project Euler solutions

stockfighter-jailbreak

Command line tools for the Stockfighter Jailbreak game

haskell-authorize-net

Haskell SDK for the Authorize.NET API

delta-debugging-example

monads

A list of things that monads are

ethereum

Typed Racket implementation of common Ethereum libraries

HaXml

Development copy of HaXml

mandelbrot

ExampleDB

ChineseChess

rockstar-problem

matroids