TLA+

A formal specification language by Leslie Lamport for designing and checking systems.

ToolDev toolsformal-methodsspecificationformal-verificationdistributed-systems

Recommended in 1 thread

Using Claude to reduce the attack surface of code
anthropic.com · 5 days ago
Suggested as a way to verify interactions between components in distributed systems.

Alloy ↗Dev tools
A lightweight formal modeling language and analyzer for software designs.
1 thread
yt-dlp Dev tools
A command-line tool for downloading video and audio from YouTube and other sites.
1 thread
Aeneas ↗Dev tools
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Fish Dev tools
A user-friendly interactive Unix shell.
1 thread
Pi ↗Dev tools
An extensible terminal coding agent that can switch between models.
2 threads
qemu-t8030 ↗Dev tools
A QEMU fork by TrungNguyen1909 that emulates the Apple A13 (T8030) to boot iOS.
1 thread
AWS-LC Security & privacy
AWS's general-purpose cryptographic library derived from BoringSSL.
1 thread
Web Origami ↗Dev tools
A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.
1 thread

F-Droid
An app store distributing free and open-source Android apps.
3 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
Cecil ↗
A static website generator written in PHP.
1 thread