Your favorite web apps, now on your phone.

Move whole tables between databases fast — Postgres, MySQL, ClickHouse, BigQuery. Rust engine, one-line Python API, bounded memory.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A static verifier for Rust, based on the Viper verification infrastructure.

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

Zero-copy, content-addressed Rust build cache for Rust, C/C++ and more. No copies, no wasted disk — just hardlinks locally and S3 for sharing.

Definitional implementation of Cedar language and utilities for DRT

Define infrastructure resources using programming constructs and provision them using OpenTofu/Terraform

Staging repo for development of native port of TypeScript

Timoni is a package manager for Kubernetes, powered by CUE and inspired by Helm.

Define Kubernetes native apps and abstractions using object-oriented programming

Companion code for the global workspace interpretability paper

Declarative visualization library for Python

A visualization grammar.

A concise grammar of interactive graphics, built on Vega.

Architecture testing and dependency rules for C++ projects

A unified interface for downloading and loading popular Image Quality Assessment (IQA) datasets.

🔎 🖼️ 🔥PyTorch Toolbox for Image Quality Assessment, including PSNR, SSIM, LPIPS, FID, NIQE, NRQM(Ma), MUSIQ, TOPIQ, NIMA, DBCNN, BRISQUE, PI and more...

Rules engine for .NET, based on the Rete matching algorithm, with internal DSL in C#.

An event loop for asyncio written in Rust

A System for Differential Debugging

Claude Autoresearch Skill — Autonomous goal-directed iteration for Claude Code. Inspired by Karpathy's autoresearch. Modify → Verify → Keep/Discard → Repeat forever.

GitHub action for pruning old GHCR container image versions.

CLI to use Fireworks AI models in Claude Code, Codex, OpenCode, Pi, and other coding agents.

Replicate your Key Value Store across your network, with consistency, persistance and performance.

Static Analyzer for Solidity and Vyper

SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.