joonazan / regex-equivalence
A web page for checking if two regular expressions match the same language.
☆17Updated 7 years ago
Alternatives and similar repositories for regex-equivalence:
Users that are interested in regex-equivalence are comparing it to the libraries listed below
- Interactive Coq Proofs in Vim☆288Updated 3 weeks ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆166Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆119Updated 2 months ago
- Coq code formatter☆22Updated this week
- Python client for coq-lsp☆34Updated 6 months ago
- ☆40Updated 3 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆254Updated 2 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆86Updated 3 years ago
- Neovim client for coq-lsp☆26Updated 6 months ago
- jmc: Java Model Checker☆18Updated 2 weeks ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated 2 years ago
- ☆24Updated last week
- Jupyter kernel for Coq☆95Updated 7 months ago
- Visual Studio Code extension for Coq☆377Updated this week
- Software Foundations☆127Updated 11 months ago
- Language based on Rewriting Logic☆112Updated this week
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆38Updated 6 years ago
- Notes about research.☆8Updated 3 years ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆38Updated 4 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated last week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆51Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆217Updated 2 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆141Updated 6 months ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆10Updated 2 months ago
- A Rocq version of the miniF2F dataset☆17Updated 2 weeks ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆100Updated 3 weeks ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆43Updated 10 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 11 months ago