Formally Verified Leaderless Log Protocol for Kafka

We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine. Verification across ~200K states caught a design bug that years of production missed. We then handed the spec to Claude Code — it produced a working Rust implementation (concurrent producers, compaction, fencing) without back-and-forth. We think verified specs are the best harness for coding agents: open-source the spec, let anyone implement it.

Visit github.com ↗Alternatives

Does the same job

all alternatives →

OpenLIT's Zero-code LLM ObservabilityOct 2025 · ▲136
Trace LLM requests + costs with OpenTelemetry monitoring
RB
Rust built open-sourced CLI tool for API specification validation2022 · github.com · ▲23
IB
I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust2024 · github.com · ▲6
I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved. Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient. I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make…
TP
TLA PreCheck – TS DSL that proves state machines via TLA+Mar 2026 · github.com · ▲7
TS
Timber – Structured Logging for Elixir, Ruby and Node2017 · timber.io · ▲23
AF
A formally verified native Delta Lake implementation in Rust2022 · github.com · ▲8

More dev tools this month

the category →

Dograh▲592
The open source VAPI alternative
Dev tools · 25d ago · dograh.com
Meridian▲530
Don't let your work go unnoticed. Get promoted!
Dev tools · 20d ago · meridiona.com
x1▲516
Lovable for iPhone apps go from idea to App Store
Dev tools · 11d ago · x1.new
The GTM Co-Founder▲402
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
Open-Source eInk Bike Computer▲389
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
Nuphos▲380
The AI-Native DevOps Workspace.
Dev tools · 24d ago · nuphos.ai

Launched alongside, April 2026

the whole month →

Brila▲1,367
One-page websites from real Google Maps reviews
AI · Apr 2026 · brila.ai
AG
A game where you build a GPU▲964
Thought the resources for GPU arch were lacking, so here we are
Life & fun · Apr 2026 · jaso1024.com
IB
I built a tiny LLM to demystify how language models work▲915
Built a ~9M param LLM from scratch to understand how they actually work. Vanilla transformer, 60K synthetic conversations, ~130 lines of PyTorch. Trains in 5 min on a free Colab T4. The fish thinks the meaning of life is food. Fork it and swap the personality for your own character.
AI · Apr 2026 · github.com
Fathom 3.0▲803
AI meeting notes: now bot-free, in ChatGPT & Claude + more
AI · Apr 2026 · fathom.ai
BC
Brutalist Concrete Laptop Stand (2024)▲786
Life & fun · Apr 2026 · sam-burns.com
IB
I built a frontpage for personal blogs▲783
With social media and now AI, its important to keep the indie web alive. There are many people who write frequently. Blogosphere tries to highlight them by fetching the recent posts from personal blogs across many categories. There are two versions: Minimal (HN-inspired, fast, static): https://text.blogosphere.app/ Non-minimal: https://blogosphere.app/ If you don't find your blog (or your favorite ones), please add them. I will review and approve it.
AI · Apr 2026 · text.blogosphere.app