donna's repositories
circuitous
binary->LLVM->circuits
vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
necessist
A tool for finding bugs in tests
krf
A kernelspace syscall interceptor and randomized faulter
algo
Set up a personal VPN in the cloud
publications
Publications from Trail of Bits
sourcify
Decentralized Solidity contract source code verification service
manticore
Symbolic execution tool
hevm
symbolic EVM evaluator
esp-website
Website for the Ethereum Foundation's Ecosystem Support Program (ESP):
portal-hive
Portal Network end-to-end test harness
solc-js
Javascript bindings for the Solidity compiler
evmone
Fast Ethereum Virtual Machine implementation
utp
uTorrent transport protocol
cryptography-research-website
Ethereum Foundation Cryptography Research Website
deepstate
A unit test-like interface for fuzzing and symbolic execution
fe
Emerging smart contract language for the Ethereum blockchain.
trin
An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage
yellowpaper
The "Yellow Paper": Ethereum's formal specification
eip-review-bot
Request reviewers for EIP modifications
eipw-action
Action for executing eipw, the EIP validator
remix-project
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
solidity
Solidity, the Smart Contract Programming Language
EIPs
The Ethereum Improvement Proposal repository
c-kzg-4844
Minimal 4844 version of c-kzg
fuels-portal
The user facing portal and Fuel landing page