measureme github.com ↗

Verus ↗Dev tools

A tool for verifying the correctness of Rust code.

wasm-bindgen ↗Dev tools

A tool and library for interop between Rust-compiled WASM and JavaScript.

pyxis ↗Dev tools

A compiler that generates Rust types matching C++ memory layouts.

Aeneas ↗Dev tools

A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

rustd ↗Dev tools

A Rust compile daemon from DioxusLabs that can also build and run Rust in the browser.

rust-glancer ↗Dev tools

A Rust code-analysis tool positioned as a lighter alternative for IDE support.

RecordStream ↗Dev tools

A set of Unix-style command-line tools that operate on streams of JSON records.

Creusot ↗Dev tools

A deductive verifier for Rust code.

Pi ↗

An extensible terminal coding agent that can switch between models.

Forgejo ↗

A self-hostable community-driven software forge.

OpenCode ↗

An open-source terminal coding agent harness.

herdr ↗

A tool to run multiple agents on one project in separate git worktrees.

Claude Code ↗

Anthropic's terminal-based coding agent harness.

F-Droid ↗

An app store distributing free and open-source Android apps.

Radicle ↗

A peer-to-peer code collaboration stack built on Git.

Aurora Store ↗

An open-source alternative client for downloading apps from Google Play.

Flux ↗

A refinement type checker for Rust.

GitLab ↗

A Git hosting and DevOps platform with an open-source community edition.

Gitea ↗

A lightweight self-hosted Git service.

Jujutsu ↗

A version control system that can use git as a storage backend.