Stories by one-another-dev

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny

Show HN: Lyraa – Live lyrics for any music app using Windows Media Session API

Show HN: Formcn: modern shadcn form builder

The future of Python web services looks GIL-free

Show HN: Test JSDoc examples with any test runner, no more outdated doc

Show HN: Burst – Your Social Media Coach

Show HN: A Standalone Android AI Automation Agent

Show HN: Summarise voice notes and YouTube links inside WhatsApp and Telegram

Show HN: Real or fake content – make it easy to tell

Show HN: Zillow, but for Race Events

Show HN: Free biological-age calculator from standard bloodwork

Show HN: Another Yt-Dlp Wrapper

Show HN: Prove that video of a UFO was real, by using this

Show HN: Witness – Capture signed photos/videos with embedded proof-of-origin

1
2
3
4
5
6
7
8
9
10