palemorrow/rumus
Library
Can I trust it?
Be careful with this one.
Warnings Check
Very new: it was created 6 days ago. Wait a little before installing it.
Stars from real accounts No data
We haven't checked its stars for fakes yet.
Active OK
Last change 6 days ago.
Licence Careful
No licence: legally you can't reuse the code, unless the README says otherwise.
Quick checks from public data. They help, but they are no guarantee.
What it is
A regular expression engine written in Agda that decides membership and language equivalence using Brzozowski derivatives. Decisions come with a proof or a refutation, and the project includes a trace command that shows the residual expressions for a match.
Who it's for
Formal methods researchers and Agda developers studying verified regex matching and language equivalence
How to use it
Ask your AI to set it up
Paste this into Claude, ChatGPT or your coding assistant.
Help me install and set up palemorrow/rumus in my project. Follow its README: https://github.com/palemorrow/rumus. Explain each step and check it is safe before running anything.
Star curve
Get alerts for repos like this
We'll email you when repos like this start rising. Free, once a week, only what matches.
20,099 GitHub repos watched and ranked every hour. Figures as of 25 October 2026.
What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy
For maintainers
Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.
[](https://repoalerts.com/repo/palemorrow/rumus?ref=badge)Similar repos
- zilvestro/grammai
Chrome extension that checks English, German and Romanian spelling and grammar offline, with highlighted corrections in place. Optional rewrites and translation run through the user's own Claude Code
- BaruqueRodrigues/llm-legislativo
Builds a large corpus of Brazilian federal legislative documents from the Chamber of Deputies and Senate archives, with deduplication and family-based train/test splits. Trains a causal Transformer la
- xyz-rafael-xyz/roguard-child-safety
A Python toolkit for structured child-safety checks in Romanian and Ukrainian text, with a local review model, conversation-aware review proposals and synthetic research records. Outputs are review pr
- NVIDIA-Omniverse/usd-brep
A standalone C++ and Python library for NURBS-based boundary representation (BRep) solid modeling, with USD integration. The README covers build setup, tests, and a helper that heals BrepArray definit
- nothinx/naskah-id
Agent skill for writing and editing scholarly texts in Indonesian, such as journal articles, theses, grant proposals and research reports. It follows EYD V spelling and KBBI word forms, leaves numbers
- aardappel/goose
A systems programming language with C and Rust-like syntax that stores all dynamic values inline on compiler-managed data stacks instead of a heap, with no garbage collector or lifetime annotations. I