Tool
en
Show HN: A Lean 4 port of libexpat's XML 1.0 parsing semantics
Source: Show HN ·
A Lean 4 port of libexpat's XML 1.0 parsing semantics, aimed at untrusted input. - scidonia/lexpat
More like this
-
lz4/lz4
Tool · GitHub Trending
-
garrytan/gstack
Tool · GitHub Trending
-
Show HN: Moosik – open-source YouTube music client with discord, stats, & themes
Tool · Show HN
-
Show HN: BollyQuiz for Diwali House Parties
Tool · Show HN
-
Show HN: Mantis – AI agents browse 36% faster than with Playwright MCP
Tool · Show HN
-
Show HN: BeepGrid – Lightweight open source agent comms
Tool · Show HN