Firmware for the Xteink X4 e-paper display reader

A scrollable-tiling Wayland compositor.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Rust / Wasm framework for creating reliable and efficient web applications

A configuration manager for Arch Linux

A more intuitive version of du in rust

Development environments for coding agents. Enable multiple agents to work safely and independently with your preferred stack.

An agent that uses OpenAI's Agents SDK to generate new agents

IPFS HTTP client in Rust

peer-to-peer compute and intelligence network that enables decentralized AI development at scale

A lightweight and fast battery icon that sits in your system tray

A script that shows warning messages to the user when the battery is almost empty. For i3wm users.

Morpho Blue Oracles

Utilies around monero-wallet

A Spotify player in the terminal with full feature parity

A general purpose oracle leveraging ABCI++

zkTripster: Time Release Incentive Platform for Security Threats Ethical Reporting

Rust debugger for Linux x86-64

Rust-libp2p transport for {t,n}-threshold signature schemes

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Prototype implementation of modular, extensible pixel-sorting algorithms in C++, with native JIT compilation of algorithm extensions via Numba.

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Kodkod solver for relational logic

UI for XMR-ETH AtomicSwap Protocol

Implementations of constant time elliptic curves in go

A prototype implementation of the Zipline block root oracle using Casper finality

The Optimism monorepo

Peer-to-peer networking library

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

darktable is an open source photography workflow application and raw developer