williamberman

symbolic-stack-machines

Library for building symbolically executable stack-based virtual machines

revm

Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.

evm-symbolic-execution

evm

Pure Rust implementation of Ethereum Virtual Machine

py-evm

A Python implementation of the Ethereum Virtual Machine

smtish

dapptools-rs

A drop-in replacement for `dapp` and `seth` in Rust

go-ethereum

Official Go implementation of the Ethereum protocol

rosetta-sdk-go

Rosetta Client Go SDK

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

stargate

lambda-calculus

tapl

dynamic-optimizer

stack-language

speedchallenge

The comma.ai Speed Prediction Challenge!

yaml_db

Rails plugin for a database-independent dump format, data.yml

generic-api-rails

Opus Logica's Generic API Rails - automagically create an API server for your data