Show HN: Wiki-like edit for Lean 4 project Physlib https://ift.tt/4XQOqPI
Show HN: Wiki-like edit for Lean 4 project Physlib https://jstoobysmith.github.io/PhyslibVerso/…
Show HN: Wiki-like edit for Lean 4 project Physlib https://jstoobysmith.github.io/PhyslibVerso/…
Show HN: An app that logs your meal's calories from a photo https://btrapp.com/ July 30, 20…
Show HN: Edge Drop- #1 productivity and unique clipboard 200 stars on GitHub https://ift.tt/CWB…
Show HN: Skewrun – fix Kerberos clock skew per-process, no root (open source) https://ift.tt/Md…
Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels Just launched my app, VimGolf…
Show HN: I made a convenient file sharing service (NOT A STARTUP) Simply upload a file, and it r…
Show HN: Game Boy on the Beam – A DMG Emulator in Pure Elixir https://gb-dmg.live/ July 28, 202…
Show HN: Zenly – Investment research platform built around a quality/value score I've spent …
Show HN: Dino Race – A peer-to-peer two-player Chrome Dino game https://ift.tt/Fjur7Hk July 28,…
Show HN: We built an MCP server for document generation https://ift.tt/5kIYq26 July 27, 2026 at…