MichaelBurge/ethereum

Stars
2
Language
Racket
Created almost 7 years ago
Updated over 6 years ago

MichaelBurge/ethereum

MichaelBurge

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Typed Racket implementation of common Ethereum libraries

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

HaXml

Development copy of HaXml

mandelbrot

ExampleDB

ChineseChess

rockstar-problem

matroids