joonazan / regex-equivalence
A web page for checking if two regular expressions match the same language.
☆17Updated 6 years ago
Alternatives and similar repositories for regex-equivalence:
Users that are interested in regex-equivalence are comparing it to the libraries listed below
- Notes about research.☆8Updated 2 years ago
- Coq code formatter☆22Updated this week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆71Updated this week
- CLuster And RepAir tool for introductory programming assignments☆45Updated 10 months ago
- Python client for coq-lsp☆31Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆155Updated this week
- PL conference deadline countdowns☆53Updated 2 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆38Updated 7 months ago
- Generates loop invariants for program verification☆59Updated 3 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 4 months ago
- Notes and Exercises for the book Haskell Programming from First Principles☆11Updated 6 years ago
- Jupyter kernel for Coq☆94Updated 4 months ago
- ImProver: Agent-Based Automated Proof Optimization☆21Updated this week
- jmc: Java Model Checker☆16Updated this week
- Interactive Coq Proofs in Vim☆278Updated 2 weeks ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated last month
- A python library to manipulate formal languages and various automata☆45Updated 2 months ago
- A monadic library for symbolic evaluation☆58Updated this week
- The Termination Problem Database☆28Updated this week
- JEMMA: An Extensible Java dataset for Many ML4Code Applications☆20Updated 2 years ago
- Linter component for Isabelle.☆18Updated 6 months ago
- ☆32Updated last month
- ☆10Updated 8 years ago
- CS Graduate Job Guide☆33Updated 2 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆82Updated this week
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆52Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆178Updated this week
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆246Updated last month