George's repositories
tla_python
A parser for TLA+, the Temporal Logic of Actions
Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
amm-arbitrageur
An arbitrage bot between Uniswap AMMs
ask
Ask! is a framework to write Wasm smart contracts for Substrate Frame Pallet-Contracts in AssemblyScript
byzantium
BFT algos
ckb-vm
CKB's vm, based on open source RISC-V ISA
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
curve-contract
Vyper contracts used in Curve.fi exchange pools.
diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
ethermint
Ethermint is a scalable and interoperable Ethereum library, built on Proof-of-Stake with fast-finality using the Cosmos SDK.
europa
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
fe
Emerging smart contract language for the Ethereum blockchain.
go-ycsb
A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
HFT-Orderbook
Limit Order Book for high-frequency trading (HFT), as described by WK Selph, implemented in Python3 and C
ink
Parity's ink! to write smart contracts
ixy
A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch
kademlia
kademlia DHT tutorial
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Skunk-Rust
Rust async proactor network framework
solidity
Solidity, the Smart Contract Programming Language
specifications
TLA snippets
storage
storage misc coding snippets
substrate-ibc
An IBC implementation on Substrate
tendermint-rs
Tendermint in Rust!
tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift