palemorrow / rumus
git clone https://github.com/palemorrow/rumus.git
regex matching via derivatives + language equivalence
+0
stars, 24h · #62,884
+30
stars, 7 days · #6,919
+30
stars, 30 days · #21,210
30
★ total · +30% this week
0
forks · 0 open issues
Star history (as recorded here)
LanguageAgda
License—
Created2026-10-19 (7d ago)
Last push7d ago
OwnerUser
GitHub topics
agdabrzozowski-derivativesformal-languagesformal-methodsformal-verificationformalizationregextheormverified
Links
README
Loading README…