kokke/tiny-regex-c
View on GitHub ↗ ★ 1,511 C
Small portable regex in C
3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2020-12-02 · latest 2025-12-02
20082026
-
…language is also just C, which simplifies things HUGELY. A very simple example can be found here: https://github.com/kokke/tiny-regex-c/blob/master/formal_ver... (note, this has no specific assertions, only the ones inserted automatically…
comment by throw-qqqqq · 2025-12-02 · in Coq: The World's Best Macro Assembler? (2013) [pdf]