Ferramenta
en
Show HN: A Lean 4 port of libexpat's XML 1.0 parsing semantics
Fonte: Show HN ·
A Lean 4 port of libexpat's XML 1.0 parsing semantics, aimed at untrusted input. - scidonia/lexpat
Mais como este
-
Show HN: 25posts – Guess the impressions of real LinkedIn posts
Ferramenta · Show HN
-
Show HN: GPUWorks – A 40 MB GPU cluster manager for vLLM/SGLang, no K8s needed
Ferramenta · Show HN
-
Show HN: GTMshortlist – I asked Claude for the best AI SDR. It wasn't yours
Ferramenta · Show HN
-
Show HN: Audio Visuals for the Quiet Mind
Ferramenta · Show HN
-
Show HN: ScreenGuard – Open-source digital wellbeing and app limits for Linux
Ferramenta · Show HN
-
Show HN: Hole Punch for iOS: Sling your spaceship around gravitational fields
Ferramenta · Show HN