Geoffrey Ramseyer (gramseyer)

gramseyer

Geek Repo

Company:Stanford University

Home Page:https://www.scs.stanford.edu/~geoff/

Github PK Tool:Github PK Tool

Geoffrey Ramseyer's repositories

stellar-core

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

Language:CLicense:NOASSERTIONStargazers:3Issues:1Issues:0
Language:PythonLicense:Apache-2.0Stargazers:2Issues:1Issues:0
Language:C++License:NOASSERTIONStargazers:2Issues:1Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:2Issues:0Issues:0
Language:C++License:Apache-2.0Stargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:2Issues:0
Language:TeXLicense:Apache-2.0Stargazers:1Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

digifabgenerativegrammar

Stack-Based 3D Model Generative Grammar

Language:HaskellStargazers:0Issues:2Issues:0

elm-game-of-life

CMSC22300 Final Project

Language:ElmStargazers:0Issues:0Issues:0

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.

Stargazers:0Issues:0Issues:0

cloudlab_init_scripts

generic initialization scripts for cloudlab stuff

Language:ShellStargazers:0Issues:0Issues:0

CS162_Python_Chat

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

Language:PythonStargazers:0Issues:2Issues:0

CVC4

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

Language:SMTLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cvx_price_computation

Scripts to generate convex price computation graph for speedex paper

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

derandomized_zz_analysis_experimental

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

Language:PythonStargazers:0Issues:0Issues:0

ed25519

Portable C implementation of Ed25519, a high-speed high-security public-key signature system.

Language:CLicense:ZlibStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

gmp-wasm

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

License:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

m4

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

Language:M4License:Apache-2.0Stargazers:0Issues:1Issues:0

speedex-standalone

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

License:MITStargazers:0Issues:0Issues:0

stellar-protocol

Developer discussion about possible changes to the protocol.

Language:CSSStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0
Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

wasm3

🚀 The fastest WebAssembly interpreter, and the most universal runtime

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

xdrgen

A code generator for XDR

Language:RubyLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0