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.

Vyper language fuzzing framework

DOM fuzzer

A binary lifter and analysis framework for Ethereum smart contracts

Distributed LLM and StableDiffusion inference for mobile, desktop and server.

Fil-C

A minimal proof language.

Grok open release

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

A Python toolbox for performing gradient-free optimization