1. Super-resolution of Sentinel-2 images (10M –> 5M)  github.com
    2025-07-31 04:43:26   #code #new
  2. LangExtract: Python library for extracting structured data from language models  github.com
    2025-07-30 14:56:46   #code #new
  3. Fermat's Last Theorem in Lean – Imperial College London  github.com
    2025-07-31 13:59:41   #code #new
  4. Mezzano, an operating system written in Common Lisp  github.com
    2025-07-30 14:09:40   #code #new
  5. HTML-in-Canvas  github.com
    2025-08-02 22:26:47   #code #new
  6. Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder)  github.com
    2025-08-02 13:09:06   #code #new
  7. Browser extension and local backend that automatically archives YouTube videos  github.com
    2025-08-02 16:03:31   #code #new
  8. VSCode extension for syntax highlighting multi-line YAML strings  github.com
    2025-08-02 14:47:54   #code #new
  9. Show HN: Print the daily weather forecast on a thermal receipt printer  github.com
    2025-07-30 14:34:51   #code #new
  10. Build an AI Voice Agent for Calls with Open Source  github.com
    2025-07-30 17:52:37   #code #new
  11. Show HN: TraceRoot – Open-source agentic debugging for distributed services  github.com
    2025-08-01 16:58:51   #code #new
  12. Remove AI Summaries  github.com
    2025-08-01 17:53:47   #ai #code #new
  13. Show HN: Pontoon – open-source customer data syncs  github.com
    2025-08-01 15:28:53   #code #new
  14. Show HN: Rewindtty – Record and replay terminal sessions as structured JSON  github.com
    2025-07-29 10:28:36   #code #new
  15. How to Secure a Linux Server  github.com
    2025-08-01 11:14:37   #code #new
  16. agendafs: A filesystem for syncing notes to your calendar  sr.ht
    2025-08-01 09:44:07   #c #unix #show #code #new
  17. Roadiz : A modern headless CMS built on Symfony  github.com
    2025-08-01 07:32:53   #web #code #new
  18. Windows Directory Structure Synchronizer  github.com
    2025-07-28 17:06:22   #code #new
  19. Show HN: KubeForge – A GUI for Kubernetes YAMLs  github.com
    2025-08-01 02:30:59   #code #new
  20. Show HN: Sourcebot – Self-hosted Perplexity for your codebase  github.com
    2025-07-30 14:44:13   #code #new #release
  21. Show HN: The easiest accessibility (a11y) checker for VSCode  github.com
    2025-07-29 15:49:37   #code #new
  22. Show HN: Mcp-use – Connect any LLM to any MCP  github.com
    2025-07-31 16:25:51   #code #new
  23. Schematra: A Sinatra love letter in Scheme  github.com
    2025-08-01 20:56:28   #code #new
  24. a5-py: Pentagonal geospatial indexing system DGGS  github.com
    2025-07-31 08:37:57   #python #science #javascript #visualization #code #new
  25. Show HN: AgentGuard – Auto-kill AI agents before they burn through your budget  github.com
    2025-07-31 05:54:04   #code #new

< 65 / 412 >