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☆289Updated this week
- Coq code formatter☆22Updated this week
- ☆228Updated 8 months ago
- Syntax highlighter for ANTLR files in vim☆30Updated 6 years ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆164Updated last week
- PL conference deadline countdowns☆57Updated this week
- VSCode extension that is designed to help automate writing of Coq proofs.☆95Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- agda-mode on VS Code☆173Updated this week
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- ☆40Updated 2 months ago
- Visual Studio Code extension for Coq☆370Updated 3 weeks ago
- Jupyter kernel for Coq☆96Updated 6 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆95Updated 2 weeks ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆12Updated 8 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated 2 years ago
- jmc: Java Model Checker☆18Updated 3 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆251Updated last month
- Tree Proof Generator☆164Updated last month
- Notes about research.☆8Updated 3 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆216Updated last month
- A tool for analyzing and transforming context-free grammars.☆216Updated 4 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated last month
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆39Updated 3 months ago
- Neovim client for coq-lsp☆26Updated 5 months ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- This extension does not remove any existing bindings. On the same os as that of the keybindings that means everything will be bound twice…☆27Updated 3 months ago
- moss implementation in python - checks software codes for plagiarism☆48Updated 3 years ago
- Python client for coq-lsp☆33Updated 5 months ago