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☆300Updated 2 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆113Updated 4 months ago
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆37Updated 6 years ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆188Updated this week
- Syntax highlighter for ANTLR files in vim☆30Updated 6 years ago
- ☆43Updated 2 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- CDCL SAT-solver for GPUs☆12Updated 8 years ago
- Visual Studio Code extension for Coq☆410Updated last month
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆74Updated 4 months ago
- Haskell grammar for tree-sitter.☆171Updated last month
- Agda interaction in vim☆135Updated 3 years ago
- jmc: Java Model Checker☆33Updated last week
- Sending Emails using Google sheets☆13Updated 3 years ago
- Naz Neovim Theme 🥺☆16Updated last month
- Visual Studio Code extension for the Lean 4 proof assistant☆230Updated this week
- All my dotfiles☆10Updated last month
- A python 2D football simulation☆17Updated last year
- Neovim support for the Lean theorem prover☆408Updated this week
- Jupyter kernel for Coq☆95Updated last year
- ☆233Updated last year
- Collection of resources for research concerning Machine Learning and Formal Methods.☆92Updated 3 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆413Updated 2 years ago
- Software Foundations☆143Updated last year
- Vim plugin for GHCup☆25Updated 5 years ago
- An introduction to theorem proving in Lean for the impatient.☆272Updated 3 weeks ago
- OpenAI 2025 ICPC Submissions☆50Updated 3 weeks ago
- Python client for coq-lsp☆41Updated 3 months ago
- LaTeX grammar for tree-sitter☆147Updated 2 weeks ago
- Neovim client for coq-lsp☆27Updated 2 weeks ago