Kani

Recommended in 0 threads

Similar tools

• Creusot ↗Dev tools

  A deductive verifier for Rust code.

  1 thread
• pyxis ↗Dev tools

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

  1 thread
• Flux ↗Dev tools

  A refinement type checker for Rust.

  1 thread
• rust-glancer ↗Dev tools

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

  1 thread
• wasm-bindgen ↗Dev tools

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

  1 thread
• Miri Dev tools

  An interpreter for Rust's mid-level IR that detects undefined behaviour in unsafe code.

  1 thread
• Aeneas ↗Dev tools

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

  1 thread
• Zola Dev tools

  A single-binary static site generator written in Rust.

  1 thread

Also in Dev tools

• F-Droid

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

  3 threads
• Claude Code

  Anthropic's terminal-based coding agent harness.

  2 threads
• OpenCode

  An open-source terminal coding agent harness.

  2 threads
• OrbStack

  A macOS app for running Docker containers and Linux VMs.

  2 threads
• Pi ↗

  An extensible terminal coding agent that can switch between models.

  2 threads
• lossy-git ↗

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

  2 threads
• uv

  Fast Python package and project manager.

  2 threads
• Aeneas ↗

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

  1 thread
• Alloy ↗

  A lightweight formal modeling language and analyzer for software designs.

  1 thread
• Arnis ↗

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

  1 thread
• Aurora Store

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

  1 thread
• Blink Shell

  A terminal emulator and SSH/Mosh client for iOS.

  1 thread