joonazan / regex-equivalenceLinks
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
Sorting:
- Interactive Coq Proofs in Vim☆294Updated 3 weeks ago
- jmc: Java Model Checker☆20Updated this week
- CLuster And RepAir tool for introductory programming assignments☆46Updated last year
- ☆13Updated 5 months ago
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆39Updated last month
- Syntax highlighter for ANTLR files in vim☆31Updated 6 years ago
- A Java program synthesizer.☆21Updated 6 years ago
- Coq code formatter☆23Updated last week
- ☆233Updated 10 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆174Updated this week
- The Termination Problem Database☆30Updated 3 weeks ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆22Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Justification diagrams made easier!☆18Updated last week
- The Princess Theorem Prover☆26Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆225Updated last week
- Code2Inv: Learning Loop Invariants for Program Verification☆96Updated 4 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆10Updated 4 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆71Updated 2 weeks ago
- Jupyter kernel for Coq☆95Updated 9 months ago
- Testsaz is a fast, minimal test-case generator system for ICPC style and IOI style problems.☆22Updated 4 years ago
- Universal Parser Tool helps competitive programmers to parse problems and grab tests easily.☆7Updated 2 years ago
- ☆86Updated 3 years ago
- Language models for Coq based on data collected from the coq lsp.☆16Updated 3 weeks ago
- Python client for coq-lsp☆38Updated last month
- PL conference deadline countdowns☆60Updated this week
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆262Updated this week
- Directmedia Layer - A wrapper around SDL2 which make use of sdl much simpler☆9Updated 5 years ago