Highlights
- Pro
Stars
Differential Fuzzing of Bitcoin protocol implementations and libraries
Holistic Fuzzing for Bitcoin Protocol Implementations
DeepEP: an efficient expert-parallel communication library
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
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
verl: Volcano Engine Reinforcement Learning for LLMs
A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
A binary lifter and analysis framework for Ethereum smart contracts
Distributed LLM and StableDiffusion inference for mobile, desktop and server.
pizlonator / llvm-project-deluge
Forked from llvm/llvm-projectFil-C
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
A tool that performs extraction of storage layouts based on EVM bytecode.
A list of awesome compiler projects and papers for tensor computation and deep learning.
Control USB connected presence lights from multiple vendors via the command-line or web API.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Ways to contribute to the Optimism Collective
Toolkit for developing and maintaining ML models
Pretrain, finetune ANY AI model of ANY size on multiple GPUs, TPUs with zero code changes.
Compute PageRank on >3 billion Wikipedia links on off-the-shelf hardware.
Python package for tackling multi-class imbalance problems. http://www.cs.put.poznan.pl/mlango/publications/multiimbalance/
Magic decorator syntax for asynchronous code in Python
The WeightWatcher tool for predicting the accuracy of Deep Neural Networks