progscrape: github.com/ndrwnaguib/principia

Show HN: Formalizing Principia Mathematica using Lean

42 days ago github.com show

Show HN: Claude Composer

29 hours ago github.com show

Show HN: Container Use for Agents

34 hours ago github.com show

Show HN: MBCompass – Android Compass App

5 days ago github.com android show

Show HN: A toy version of Wireshark (student project)

4 days ago github.com show

Show HN: Kan.bn – An open-source alterative to Trello

4 days ago github.com show

Show HN: Fast Random Library for C++17

4 days ago github.com c++ show

Show HN: Localize React apps without rewriting code

3 days ago github.com react show

Show HN: Gradle plugin for faster Java compiles

3 days ago github.com java show

Show HN: Ephe – A minimalist open-source Markdown paper for today

3 days ago github.com show

Show HN: ClickStack – Open-source Datadog alternative by ClickHouse and HyperDX

34 hours ago github.com show

Show HN: Ultra-lightweight chunker library with emoji support

3 days ago github.com emoji show

Show HN: Agno – A full-stack framework for building Multi-Agent Systems

5 days ago github.com show

Show HN: Controlling 3D models with voice and hand gestures

3 days ago github.com 3d show

Show HN: Mustardwatch: Detect what files a program uses, rerun when they change

6 hours ago github.com show

Show HN: AirAP AirPlay server – AirPlay to an iOS Device

3 days ago github.com apple ios show

Show HN: Cloudflare Workers Compatible MCP Boilerplate with OAuth & PostgreSQL

2 days ago github.com cloudflare postgresql show

Show HN: LLMFeeder – Browser extension to extract clean content for LLM context

3 days ago github.com llm show

Show HN: I built an AI Agent that uses the iPhone

5 days ago github.com ai apple iphone show

Show HN: I wrote a Java decompiler in pure C language

3 days ago github.com c compiler java show

Show HN: Page Magic: Use AI to customize any web page

4 days ago github.com ai css show vibecoding web

Show HN: Create LLM graders and run evals in JavaScript with one file

36 hours ago github.com javascript llm show

Show HN: Moon Phase Algorithms for C, Lua, Awk, JavaScript, etc.

5 days ago github.com algorithm awk c javascript lua show

Show HN: An Alfred workflow to open GCP services and browse resources within

3 days ago github.com devops go mac release show

WhisperD: linux voice-to-text using OpenAI whisper-1 transcription

4 days ago github.com ai go linux openai

Doxxer - CLI tool for dynamic SemVer versioning using Git and tags

15 hours ago github.com git rust

Formalizing a proof in lean using GitHub Copilot and canonical

2 days ago youtu.be github vibecoding video

git-remote-sqlite: Single-file Git repos that can replicate with Litestream

15 hours ago github.com git show vcs

Google AI Edge Gallery

6 days ago github.com ai google

Enhancing MySQL: MySQL improvement project

6 days ago github.com mysql

gwq: Git worktree manager with fuzzy finder for parallel AI coding

6 days ago github.com ai git

>progscrape ▒

All the news that's fit to scrape