show

prev

Page 3

next

Show HN: Formal Verification with Lean

3 pointsposted a day ago
by lowdanie

Show HN: Is Github Online?

6 pointsposted a day ago
by vednig

Show HN: GETadb.com – every GET request creates a DB

39 pointsposted 5 days ago
by nezaj

Show HN: How Scaleway brought the first RISC-V servers to the cloud

5 pointsposted a day ago
by enthusaist

Show HN: I mage GhosttyFX, a JavaFX terminal view that uses libghostty

3 pointsposted a day ago
by vlaaad

Show HN: CADara – I made an open-source in-browser CAD

37 pointsposted 5 days ago
by ttouch

Show HN: Agent-skills-eval – Test whether Agent Skills improve outputs

79 pointsposted 7 days ago
by darkrishabh

Show HN: Create flashcards with Space CLI

22 pointsposted 4 days ago
by friebetill

Show HN: All 55,256 Slides of the WAR.GOV/UFO Files Searchable and Linkable

16 pointsposted 3 days ago
by keepamovin

Show HN: A geocities inspired place for your vibed tools

7 pointsposted 2 days ago
by shanselman

Show HN: Java/Spring Boot Idempotency Library

3 pointsposted 2 days ago
by anaq42

Show HN: I built a fair-price checker App for home repairs using BLS wage data

4 pointsposted 2 days ago
by manojtrek

Show HN: I built an open-source email builder, alternative to Beefree/Unlayer

168 pointsposted 7 days ago
by oahmadov

Show HN: Apple's SHARP running in the browser via ONNX runtime web

184 pointsposted 11 days ago
by bring-shrubbery

Show HN: Chuchu, an Android SSH client built on libghostty

13 pointsposted 4 days ago
by jossephus01

Show HN: Hallucinopedia

306 pointsposted 7 days ago
by bstrama

Show HN: Free tool to mark points and polygon regions

21 pointsposted 7 days ago
by magikMaker

Show HN: Tessera – Turn coding agent sessions into structured work

4 pointsposted 2 days ago
by horanglabs

Show HN: PHP-fts – Full-text search engine in pure PHP, no extensions

89 pointsposted 7 days ago
by asmodios

Show HN: I trained a chess engine to play like humans

14 pointsposted 3 days ago
by hazard

Show HN: Stage CLI – An easier way of reading your AI generated changes locally

46 pointsposted 6 days ago
by cpan22

Show HN: NodeDB – High Perfomance Multi-Model Database

4 pointsposted 2 days ago
by fs90

Show HN: Ableton Live MCP

123 pointsposted 10 days ago
by bschoepke

Show HN: Modafinil - Let agents continue running while MacBook lid is closed

15 pointsposted 4 days ago
by hamza_q_

Show HN: Outpainting Avatar: The Last Airbender from 4:3 to 16:9

2 pointsposted 21 hours ago
by markjgx

Show HN: It's like Fiverr but for AI agents – Platform and Open-source kit

7 pointsposted 2 days ago
by degutemesgen

Show HN: n8n like workflows for AI agents that control a real VM

6 pointsposted 2 days ago
by aadyachinubhai

Show HN: I've implemented multi-repo workspace support in Agent of Empires

6 pointsposted 2 days ago
by seluj78

Show HN: Explore color palettes inspired by 3000 master painter artworks

214 pointsposted 8 days ago
by ouli

Show HN: Rapunzel – a tree-style tab terminal emulator for Codex Claude Gemini

4 pointsposted 2 days ago
by WasimBhai