gramseyer Goto Github PK

analysis_scripts

blockchain_conference_paper

The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

cfmm-liquidity-optimization

cloudlab_init_scripts

generic initialization scripts for cloudlab stuff

cs162_python_chat

Joint Project with Geoff Ramseyer to create multi computer connections with other integrated components (game play, file editing)

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

cvx_price_computation

Scripts to generate convex price computation graph for speedex paper

derandomized_zz_analysis_experimental

Highly experimental code to evaluate potential conjectures about derandomized zigzag products.

digifabgenerativegrammar

Stack-Based 3D Model Generative Grammar

elm-game-of-life

CMSC22300 Final Project

ethereum_dex_benchmark

experimental

gmp-wasm

Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.

horizon-python-sdk

hotstuff

m4

repository of my m4 macros so I don't have to keep copying them everywhere

merkle_trie_toolkit

neoquest_bot

origami_smt

paper-template

speedex-standalone

Implementing SPEEDEX price computation engine in Golang as a standalone binary that exchanges can call

stellar-core

stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network

stellar-protocol

Developer discussion about possible changes to the protocol.

uniswap-dex-gcloud

utility

wasm3

🚀 The fastest WebAssembly interpreter, and the most universal runtime

wasm_api

xdrgen

A code generator for XDR

xdrpp