< prev 2 / 2more >

• 22Show HN: Fraktur, a DJ mixing app in the browser (greenvitriol.com)
  by janesconference21 hours ago | 1 comments
• 80Show HN: A proof-of-concept formalization of the IRS federal tax forms (github.com)
  by RGS18112 days ago | 9 comments
• 36Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (github.com)
  by lastmjs1 day ago | 8 comments
• 80Show HN: I built a multiplayer game where you're an aerial fighter cat (catcopter.com)
  by pawelwentpawel19 hours ago | 22 comments
• 11Show HN: PicoPlayer – A tiny, open-source website for playing quality webgames (picoplayer.net)
  by popcar222 hours ago | 3 comments
• 44Show HN: Overtone – Transcribe, correct and cut captions for any screen shape (github.com)
  by rvanderlinden1 day ago | 6 comments
• 4Show HN: Deckdrill – Pimsleur-style audio drills from Anki decks, in your voice (deckdrill.app)
  by pjacowski18 hours ago | 1 comments
• 3Show HN: Balk – A Baseball Game (balk.club)
  by mandymoorefan13 hours ago | 0 comments
• 3Show HN: News article bias detector tool (aethelgard.news)
  by Tryvrsakjo1014 hours ago | 1 comments
• 12Show HN: Arken – Passwordless auth middleware using secp256k1 keys (github.com)
  by zachbenson8171 day ago | 2 comments

< prev 2 / 2more >