Adaptive fuzzing of Hypothesis tests

Chrome DevTools for coding agents

A growing collection of MCP servers bringing offensive security tools to AI assistants. Nmap, Ghidra, Nuclei, SQLMap, Hashcat and more.

Rust implementation of the nostr protocol, high-level client library, Nostr Wallet Connect and more.

Never miss an env var again — Keep .env in sync with .env.template

Anthropic's original performance take-home, now open for you to try!

Complete Claude Code configuration collection - agents, skills, hooks, commands, rules, MCPs. Battle-tested configs from an Anthropic hackathon winner.

Algorithm powering the For You feed on X

Public repo of AI tooling to help build on Solana

Conformance test suite for the Solana protocol

A super fast Graph Database uses GraphBLAS under the hood for its sparse adjacency matrix graph representation. Our goal is to provide the best Knowledge Graph for LLM (GraphRAG).

A framework for collecting and analyzing prediction market data, including the largest publicly available dataset of Polymarket and Kalshi market and trade data.

A completely vibecoded operating system targeting Aarch64

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Fiat-Shamir for the masses.

Build resilient language agents as graphs.

Snapshot fuzzing for the Bitcoin Lightning Network

Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.

The ultimate Nuxt/FastAPI web application starter pack with user management, stripe subscriptions

Security-oriented Go toolchain

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Bootstrap, build and deploy sBPF assembly programs with ease

This repository serves as a Solana BPF Assembly (sBPF) learning resource. It aims to guide developers, from beginners to experts, in writing low-level Solana programs in Assembly.

It's the Go compiler, but it panics on arithmetic and truncation issues.

CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

My fuzzing corpus

Port your Soldity smart contracts to Rust, with ease and 💯 equivalence

SBPF virtual machine

Rust virtual machine and JIT compiler for eBPF programs

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.o…