Hackable and optimized Transformers building blocks, supporting a composable construction.

DKG and threshold signatures on Bitcoin

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

macOS menu bar app that shows how full the International Space Station's urine tank is in real time

Functional Programming in Lean

A script for compiling OpenSSL for iOS Devices (iPhone, iPad, Watch, iPod Touch, AppleTV, MacCatalyst)

An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.

Stack trace visualizer

Explore the progression of wildfires

Building blocks of a Circle STARK verifier in Bitcoin script

Bring portraits to life!

OP Stack Specifications

A minimal snake in assembly

A STARK proof of Bitcoin's header chain

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

A Web Interface for chatting with your local LLMs via the ollama API

REPL rewrite for Node.js ✨🐢🚀✨

A natural language interface for computers

Rust Bitcoin library

A Trust-minimized Bitcoin Bridge

A CPU miner for Quai network

Official Go Implementation of the Quai Network

Deadline countdowns for high-quality academic venues relevant to blockchain

Proof of Entropy Minima

Implementation of the "Hours of Horus" smart contract wallets, for Celo.