1. certicoq: A Verified Compiler for Gallina, Written in Gallina  github.com
    2025-04-07 03:48:23   #formalmethods #code #new
  2. Try: test anti-framework via CL Condition System  github.com
    2025-04-06 23:15:55   #lisp #code #new
  3. Capital Trades: Tracking Stock Market Transactions of Politicians  www.capitoltrades.com
    2025-04-06 19:06:58   #new
  4. Facebook Downloader  fload.app
    2025-04-06 14:14:48   #new
  5. Show HN: I built a Rust crate for running unsafe code safely  github.com
    2025-04-06 13:28:48   #code #new
  6. Show HN: I Built ImgFiber-Better Image Optimizer. Free No Limits  www.imgfiber.com
    2025-04-06 06:55:55   #new
  7. rauthy: OpenID Connect Single Sign-On Identity & Access Management  github.com
    2025-04-06 08:37:16   #rust #code #new
  8. TripoSG – Text to 3D Model  github.com
    2025-04-06 01:56:02   #code #new
  9. nodo: Call Node.js from Ruby  github.com
    2025-04-06 03:35:27   #ruby #nodejs #code #new
  10. Show HN: Owl, a Spaced Repetition App  owl.cards
    2025-04-03 18:20:59   #new
  11. Erica Synths DIY Eurorack Modules  github.com
    2025-04-05 23:48:21   #code #new
  12. Practical Binary Analysis  practicalbinaryanalysis.com
    2025-04-02 12:45:04   #new
  13. Trump Golf Track  trumpgolftrack.com
    2025-04-05 18:53:20   #new
  14. ashos: The immutable/mutable meta-distribution (universal bootstrapper)  github.com
    2025-04-05 18:06:53   #linux #unix #code #new
  15. Show HN: I built a word game. My mom thinks it's great. What do you think?  www.whatsit.today
    2025-04-05 14:26:02   #new
  16. ATProto Statusphere App Implemented in Rust  github.com
    2025-04-05 15:45:33   #rust #code #new
  17. SpacetimeDB v1.0: Multiplayer at the speed of light  github.com
    2025-04-05 14:46:19   #code #new
  18. Interview Coder is an invisible AI for technical interviews  www.interviewcoder.co
    2025-04-05 11:31:56   #new
  19. Pytest for Neovim  github.com
    2025-04-05 06:08:59   #code #new
  20. Nebula Sans  nebulasans.com
    2025-04-05 06:03:40   #new
  21. Show HN: OCR pipeline for ML training (tables, diagrams, math, multilingual)  github.com
    2025-04-05 05:22:33   #code #new
  22. Coqui TTS: Free Text-to-Speech  coquitts.com
    2025-04-05 03:52:07   #new
  23. Sparks – A typeface for creating sparklines in text without code  github.com
    2025-04-02 06:44:17   #code #new
  24. 404s – gallery of error 404 page designs  www.404s.design
    2025-04-05 00:18:30   #new
  25. A Simple Reply  github.com
    2025-04-05 05:04:30   #compilers #code #new

< 15 / 620 >