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