rust-glancer rust-glancer.github.io ↗

pyxis ↗Dev tools

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

Creusot ↗Dev tools

A deductive verifier for Rust code.

rust-analyzer Editors & IDEs

A language server providing IDE features for Rust.

wasm-bindgen ↗Dev tools

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

Flux ↗Dev tools

A refinement type checker for Rust.

Aeneas ↗Dev tools

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

Kani Dev tools

Kani is a bit-precise model checker for Rust code.

cargo-hakari Dev tools

A Cargo tool that manages a workspace-hack crate to unify dependency features across a workspace.

F-Droid

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

OpenCode

An open-source terminal coding agent harness.

OrbStack

A macOS app for running Docker containers and Linux VMs.

Pi ↗

An extensible terminal coding agent that can switch between models.

lossy-git ↗

A toy version control system that stores code by training a neural network and reconstructs it on checkout.

uv

Fast Python package and project manager.

Aeneas ↗

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

Alloy ↗

A lightweight formal modeling language and analyzer for software designs.

Arnis ↗

An open-source Rust tool that generates Minecraft worlds from real-world geographic data.

Aurora Store

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

Blink Shell

A terminal emulator and SSH/Mosh client for iOS.

Cecil ↗

A static website generator written in PHP.