Pinned Repositories
cfmm-liquidity-optimization
ethereum_dex_benchmark
hotstuff
merkle_trie_toolkit
neoquest_bot
origami_smt
paper-template
stellar-core
stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network
smart-contract-scalability
speedex
gramseyer's Repositories
gramseyer/stellar-core
stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network
gramseyer/cfmm-liquidity-optimization
gramseyer/hotstuff
gramseyer/origami_smt
gramseyer/ethereum_dex_benchmark
gramseyer/merkle_trie_toolkit
gramseyer/neoquest_bot
gramseyer/paper-template
gramseyer/analysis_scripts
gramseyer/digifabgenerativegrammar
Stack-Based 3D Model Generative Grammar
gramseyer/elm-game-of-life
CMSC22300 Final Project
gramseyer/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.
gramseyer/cloudlab_init_scripts
generic initialization scripts for cloudlab stuff
gramseyer/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
gramseyer/cvx_price_computation
Scripts to generate convex price computation graph for speedex paper
gramseyer/derandomized_zz_analysis_experimental
Highly experimental code to evaluate potential conjectures about derandomized zigzag products.
gramseyer/ed25519
Portable C implementation of Ed25519, a high-speed high-security public-key signature system.
gramseyer/experimental
gramseyer/gmp-wasm
Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
gramseyer/horizon-python-sdk
gramseyer/m4
repository of my m4 macros so I don't have to keep copying them everywhere
gramseyer/speedex-standalone
Implementing SPEEDEX price computation engine in Golang as a standalone binary that exchanges can call
gramseyer/Stanford-LaTeX-Poster-Template
Stanford LaTeX poster template
gramseyer/stellar-protocol
Developer discussion about possible changes to the protocol.
gramseyer/uniswap-dex-gcloud
gramseyer/utility
gramseyer/wasm3
🚀 The fastest WebAssembly interpreter, and the most universal runtime
gramseyer/wasm_api
gramseyer/xdrgen
A code generator for XDR
gramseyer/xdrpp