Massively parallel solver for the Sprouts game using the PNS-PDFPN algorithm.

Nix flake overlay packaging SP1 zero-knowledge proof tools (cargo-prove + Rust toolchain) for reproducible builds

IBC v2 relayer in Rust — plain traits, no macro frameworks

A lightweight, open-source, fully local alternative to Logitech Options+ for remapping Logitech HID++ mice.

The open source coding agent.

Auto-configure and then control your Midea M-Smart devices (Air conditioner, Fan, Water heater, Washer, etc) via local area network.

A platform for packaging and launching blockchain infra. Think docker compose for blockchain

Soltutions for Nielsen and Chuangs' "Quantum Computation and Quantum Information", currently for most of chapters 4-6 and 8-12

General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions

This is a solidity implementation of IBC v2.

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Foundry-based template for developing Solidity smart contracts

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

Enabling IBC Everywhere.

Sioyek is a PDF viewer with a focus on textbooks and research papers

A telescope extension to view and search your undo tree 🌴

A powerful little TUI framework 🏗

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

Build Cosmos SDK applications on the OP Stack.

A light explorer for Cosmos-based Blockchains.

Implementation of zero-knowledge proof circuits for Tendermint.

Cosmos SDK Module Template

Minimal Cosmos SDK chain template

A collection of Rust packages that contain common tools used in development of Secret Contracts

Inter-Blockchain Communication Protocol (IBC) implementation in Golang.