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☆301Updated last month
- Syntax highlighter for ANTLR files in vim☆30Updated 6 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
- VSCode extension that is designed to help automate writing of Coq proofs.☆113Updated 3 months ago
- Naz Neovim Theme 🥺☆15Updated last month
- Visual Studio Code extension for Coq☆408Updated last week
- Collection of resources for research concerning Machine Learning and Formal Methods.☆90Updated 3 years ago
- Program Synthesis Course☆262Updated last year
- Neovim support for the Lean theorem prover☆402Updated this week
- A rich data set of reviews data in order to encourage future research in the area of code-reviewer recommendation☆19Updated 10 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆528Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆187Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆268Updated this week
- CDCL SAT-solver for GPUs☆12Updated 8 years ago
- Scala+lift frontend for automatatutor.com☆10Updated 6 years ago
- A python 2D football simulation☆17Updated last year
- All my dotfiles☆10Updated 3 weeks ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆28Updated 3 weeks ago
- jmc: Java Model Checker☆24Updated last month
- Python client for coq-lsp☆39Updated 2 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆52Updated last year
- Tree Proof Generator☆171Updated 6 months ago
- Haskell grammar for tree-sitter.☆171Updated 3 weeks ago
- A project management service with pure functional programming paradigm in the heart.☆22Updated 2 years ago
- LaTeX grammar for tree-sitter☆142Updated last week
- ☆233Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆226Updated this week
- unicoder.vim: easy unicode characters in insert mode with abbreviations☆37Updated 6 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆70Updated 3 months ago
- Linter component for Isabelle.☆19Updated 3 weeks ago