Ava Howell

rumors. Lean

defending-code-reference-harness. Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

cryptanalytic-model-extraction. Python

attend. Give your coding agent eyes and ears in your editor

weakincentives. Tools for developing and optimizing background agents.

aks. Seiferas's simplified construction of the AKS O(log n) depth sorting network, formalised in Lean

infra-controller. NVIDIA Infra Controller - Hardware Lifecycle Management and multitenant networking

AgentDyn. The official implementation of the paper "AgentDyn: Are Your Agent Security Defenses Deployable in Real-World Dynamic Environments?"

open-interpreter-prompt-injection. Jupyter Notebook

uwu. fastest text uwuifier in the west

parakeet-mlx. An implementation of the Nvidia's Parakeet models for Apple Silicon using MLX.

vibecraft. It's Vibecraft!

batch_invariant_ops. Python

verifiers. Our library for RL environments + evals

prime-rl. Agentic RL Training at Scale

tokasaurus. Python

cartridges. Storing long contexts in tiny caches with self-study

icae. The repo for In-context Autoencoder

OpenFrontIO. Online browser-based RTS game

mamba. Mamba SSM architecture

SEAL. Self-Adapting Language Models

attention-gym. Helpful tools and examples for working with flex-attention

cudarc. Safe rust wrapper around CUDA toolkit

chromem-go. Embeddable vector database for Go with Chroma-like interface and zero third-party dependencies. In-memory with optional persistence.

Video-MMLU. A Massive Multi-Discipline Lecture Understanding Benchmark

llm-api-proxy. Provides the same proxy OpenAI API interface for different LLM models, and supports deployment to any Edge Runtime environment.

sparsify. Sparsify transformers with SAEs and transcoders

penzai. A JAX research toolkit for building, editing, and visualizing neural networks.

codex. Lightweight coding agent that runs in your terminal

TextAttack. TextAttack 🐙 is a Python framework for adversarial attacks, data augmentation, and model training in NLP https://textattack.readthedocs.io/en/master/

NEXUS. Non-interactive protocol for secure transformer inference based on RNS-CKKS.

llm_unlearn. LLM Unlearning

PPLM. Plug and Play Language Model implementation. Allows to steer topic and attributes of GPT-2 models.

neobrutalism-components. A collection of neobrutalism-styled Tailwind components.

claude-code. Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.

FizzBuzzEnterpriseEdition. FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

alpha-zero-general. A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Iron. Private Inference on Transformer

candle. Minimalist ML framework for Rust

jsonriver. A simple, fast streaming JSON parser built on standards.

mcp-schema. Rust port of the Model Context Protocol (MCP) schema originally written in TypeScript.

offeryn. Build tools for LLMs in Rust using Model Context Protocol

breadboard. A library for prototyping generative AI applications.

supergateway. Run MCP stdio servers over SSE and SSE over stdio. AI gateway.

workers-mcp. Talk to a Cloudflare Worker from Claude Desktop!

anthropic-rs. Anthropic Rust SDK 🦀 with async support.

awesome-mcp-servers. A collection of MCP servers.

openmls. Rust implementation of the Messaging Layer Security (MLS) protocol

mls-rs. An implementation of Messaging Layer Security (RFC 9420)

reindexer. A tool for reindexing historical Penumbra data

magic-wormhole.rs. Rust implementation of Magic Wormhole, with new features and enhancements

aider. aider is AI pair programming in your terminal

exo. Run frontier AI locally.

bip-frost-dkg. Python

iroh. IP addresses break, dial keys instead. A library that adds QUIC + NAT Traversal to your apps.

standard-penumbra-explorer. Rust

sp1-ics23-example. An example of ICS23 verification on Ethereum powered by SP1.

alvr-visionos. Experimental visionOS client for ALVR - SteamVR on Apple Vision Pro!

flag. Rust

videos. Code for the manim-generated scenes used in 3blue1brown videos

manifold. Manifold Markets: A market for every question

reth. Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

triforce-percent.github.io.

hack-a-sat-library. Public library of space documents and tutorials

ibc-types. A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools

seiun. An experimental ATP/Bluesky client app for Android

zola. A fast static site generator in a single binary with everything built-in. https://www.getzola.org

zsh-z. Jump quickly to directories that you have visited "frecently." A native Zsh port of z.sh with added features.

tui-rs. Build terminal user interfaces and dashboards using Rust

openai-api-rust. Rust client for OpenAI API

alpaca-lora. Instruct-tune LLaMA on consumer hardware

FlexLLMGen. Running large language models on a single GPU for throughput-oriented scenarios.

noosphere. Noosphere is a protocol for thought; let's discover it together!

ibc-rs. Rust implementation of the Inter-Blockchain Communication (IBC) protocol.

helios. A fast, secure, and portable multichain light client for Ethereum

circom. zkSnark circuit compiler

ezkl. ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

fauxpilot. FauxPilot - an open-source alternative to GitHub Copilot server

PyOxidizer. A modern Python application packaging and distribution tool

CLIP. CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image

stable-diffusion-webui. Stable Diffusion web UI

stable-diffusion. A latent text-to-image diffusion model

seed-split. Splitting seed phrases into shares

min-dalle. min(DALL·E) is a fast, minimal port of DALL·E Mini to PyTorch

gelato-sdk. a rust SDK for the gelato relay, using ethers-rs

sui. Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

caulk. Rust

logseq. A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

interchain-security. Interchain Security is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.

stackline. Visualize yabai window stacks on macOS. Works with yabai & hammerspoon.

yabai. A tiling window manager for macOS based on binary space partitioning

persephone. macOS MPD client written in Swift.

galileo. Discord bot for the Penumbra discord

penumbra. Penumbra is a privacy-preserving decentralized exchange for all of crypto

sommelier. Sommelier Chain

proof-systems. The proof systems used by Mina

obsolete-spl-zk-token. Obsolete - don't use

jmt. An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree

ev-node. A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.

prost. PROST! a Protocol Buffers implementation for the Rust Language

pathfinder. A Starknet full node written in Rust

foundry. Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

dapptools. Dapp, Seth, Hevm, and more

avalanchego. Go implementation of an Avalanche node.

yew. Rust / Wasm framework for creating reliable and efficient web applications

snarkOS. A Decentralized Operating System for ZK Applications

synapse. Synapse: Matrix homeserver written in Python/Twisted.

ethers-rs. Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

tofn. A threshold cryptography library in Rust

aggregatable-dkg. Aggregatable Distributed Key Generation

wasmd. Basic Cosmos SDK application with WebAssembly smart contracts

cosmos-sdk. Framework for building performant, customizable blockchains with native interoperability

algebra. Libraries for finite field, elliptic curve, and polynomial arithmetic

cpal. Low-level cross-platform audio I/O library in Rust

osmosis. The AMM Laboratory

hermes. IBC Relayer in Rust

cosmos-rust. The home of all shared Rust resources for the Cosmos ecosystem.

incrementalmerkletree. An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses

paradox-compress. Paper and Demo Implementation of Paradoxical Compression with VDF

tendermint-rs. Client libraries for Tendermint/CometBFT in Rust!

frame. System-wide Web3 for macOS, Windows and Linux

tower-abci. Tower-based ABCI interface.

ed25519-consensus. Ed25519 suitable for use in consensus-critical contexts.

opensnitch. OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

pyphi. A toolbox for integrated information theory.

fully-homomorphic-encryption. Homomorphic Encryption demos

AirDropAnywhere. An implementation of AirDrop that allows any web-enabled device to send/receive files to/from an AirDrop-compatible device

cheap-name-. find a cheap selector name, save gas on external calls

gpt-neo. An implementation of model parallel GPT-2 and GPT-3-style models using the mesh-tensorflow library.

arbitrum-classic. Powers fast, private, decentralized applications

react-native-keychain. :key: Keychain Access for React Native

restic. Fast, secure, efficient backup program

arb-os. ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.

optimism-tutorial. Build your first app on Optimism!

uniswap-liquidity-dao. Solidity

prysm. Go implementation of Ethereum proof of stake

lighthouse. Ethereum consensus client in Rust

blockscout. Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

electrs. An efficient re-implementation of Electrum Server in Rust

v3-core. 🦄 🦄 🦄 Core smart contracts of Uniswap v3

SchnorrGate. Testing Schnorr's factorization claim in Sage

gravity-bridge. A CosmosSDK application for moving assets on and off of EVM based, POW chains

hackatom_v. Rust

snowbridge. A trustless bridge between Polkadot and Ethereum

offsite-apfs-backup. Go

tendermint. ⟁ Tendermint Core (BFT Consensus) in Go

cli. Ignite is a CLI tool and hub designed for constructing Proof of Stake Blockchains rooted in Cosmos-SDK

terminal.sexy. Create, view and edit terminal colorschemes.

athens. Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

optimism. Optimism is Ethereum, scaled.

alacritty. A cross-platform, OpenGL terminal emulator.

vscode-neovim. Vim mode for VSCode, powered by Neovim

kythe. Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

sway. i3-compatible Wayland compositor

Cog. Cog - A Free and Open Source Audio Player for macOS 10.15+

semgrep. Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

skynet-webportal. A webapp that makes Skynet accessible to web browsers.

sourcegraph-public-snapshot. Code AI platform with Code Search & Cody

shabal. Archive of code related to the Shabal hash function (former candidate to SHA-3).

blake3. An AVX-512 accelerated implementation of the BLAKE3 cryptographic hash function

curve9767. C

age. A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

SecureValueRecovery. Rust

emissary. Distributed P2P Data-driven Workflow Framework

ghidra. Ghidra is a software reverse engineering (SRE) framework

zebra. Zcash - Financial Privacy in Rust 🦓

plundervolt. C++

bridgesim. A starship bridge simulator for the web.

macemu. Basilisk II and SheepShaver Macintosh emulators

im-rs. Assorted immutable collection datatypes for Rust

sidefuzz. Fuzzer to automatically find side-channel (timing) vulnerabilities

dudect-bencher. An implementation of the DudeCT constant-time function tester

vscodium. binary releases of VS Code without MS branding/telemetry/licensing

fzero_fuzzer. A fast Rust-based safe and thead-friendly grammar-based fuzz generator

boringtun. Userspace WireGuard® Implementation in Rust

deck. A Go Package for generation of slide decks and information displays

Anime4K. A High-Quality Real Time Upscaler for Anime Video

diem. Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

siasync. miniscule utility to sync a folder with Sia

falcon.py. A python implementation of the signature scheme Falcon

ble. Go

ristretto255. Implements ristretto255, a fast prime-order group.

t1bootstrap. Bootstrap compiler

us. An alternative interface to Sia

wasm-crypto. A WebAssembly (via AssemblyScript) set of cryptographic primitives for building authentication and key exchange protocols.

go-mode.el. Emacs mode for the Go programming language

CTTK. Constant-Time Toolkit

TriforceAFL. AFL/QEMU fuzzing with full-system emulation.

Angora. Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

venus. Filecoin Full Node Implementation in Go

go-ristretto. Pure Go implementation of the Ristretto prime-order group over Edwards25519

bulletproofs. A pure-Rust implementation of Bulletproofs using Ristretto.

Salamandra. Salamandra is a tool to find spy microphones that use radio freq to transmit. It uses SDR.

nearcore. Reference client for NEAR Protocol

cryptoservices.github.io. HTML

ed25519-dalek. ARCHIVED/MOVED: please visit the new location

democracy_threat_model. A threat model for democracies in general

RSA-and-LLL-attacks. attacking RSA via lattice reductions (LLL)

SES. MOVED to @agoric/ses-shim. SES (Secure EcmaScript) is a secure runtime for running third-party code safely

RustySecrets. 🔑 Threshold Shamir's secret sharing in Rust