Alternatives and similar repositories for regex-equivalence

Users that are interested in regex-equivalence are comparing it to the libraries listed below

• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆293Updated this week
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆36Updated 11 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆170Updated last week
• mpi-sws-rse / jmc
  jmc: Java Model Checker
  ☆20Updated last week
• structuredllm / syncode
  Efficient and general syntactical decoding for Large Language Models
  ☆272Updated this week
• radinshayanfar / speaker-verification
  Speaker verification task with ECAPA-TDNN model (trained on Persian dataset)
  ☆11Updated 2 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆388Updated this week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated this week
• fbanados / research-howto
  Notes about research.
  ☆8Updated 3 years ago
• Erfaniaa / testsaz
  Testsaz is a fast, minimal test-case generator system for ICPC style and IOI style problems.
  ☆22Updated 4 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 9 months ago
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• amirhallaji / GoogleSheet-EmailSender
  Sending Emails using Google sheets
  ☆12Updated 3 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆88Updated 3 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆105Updated last week
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆38Updated last month
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆47Updated 11 months ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated last month
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆263Updated 3 months ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆220Updated 3 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆42Updated 2 years ago
• alok-upadhyay / MIPS-in-Verilog
  An implementation of MIPS single cycle datapath in Verilog.
  ☆17Updated 13 years ago
• hamedkhaledi / food-delivery-react
  ☆10Updated 3 years ago
• eprover / eprover
  ☆142Updated this week
• radinshayanfar / mysql_crud
  AUT Database final project - Simple MySQL CRUD application
  ☆11Updated 7 months ago
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 7 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• DeepSpec / sf
  ☆13Updated 5 months ago
• MSDehghan / SBDL
  Directmedia Layer - A wrapper around SDL2 which make use of sdl much simpler
  ☆9Updated 5 years ago