Starred repositories
Simple Theorem Prover, an efficient SMT solver for bitvectors
A library for lattice-based multiparty homomorphic encryption in Go
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Terminal UI library with rich, interactive widgets — written in Golang
K Semantics of the Ethereum Virtual Machine (EVM)
aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
A curated list to learn about distributed systems
SymEngine is a fast symbolic manipulation library, written in C++
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
High performance, self-hosted, newsletter and mailing list manager with a modern dashboard. Single binary app.
An introduction to ARM64 assembly on Apple Silicon Macs
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
Solidity code instrumentation and analysis framework.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Implementation of a competitive v2/v3 multi-meat MEV sandwich bot written using Rust and Huff.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Go implementation of the Ethereum protocol
Web3.py plugin for using Flashbots' bundle APIs
Example arbitrage bot using Flashbots