Alternatives and similar repositories for dfa-to-regex

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

• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• myazdani / formal-algorithms-for-transformers
  PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
  ☆14Updated 2 years ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆19Updated 2 years ago
• thomasahle / mcts-2048
  A Monte Carlo Tree Search AI for the game 2048
  ☆30Updated 5 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 2 weeks ago
• avaneev / biteopt
  Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
  ☆160Updated 7 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated last week
• edwardjhu / improved_wasserstein
  Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"
  ☆14Updated 5 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 2 weeks ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆52Updated this week
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• lyelibi / potts-model-clustering
  Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.
  ☆11Updated 3 years ago
• pemryan / GAlib
  A C++ Library of Genetic Algorithm Components
  ☆13Updated 12 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• textX / viewX-vscode
  A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.
  ☆12Updated 7 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• SparseLinearAlgebra / spla
  An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations
  ☆26Updated 2 weeks ago
• cair / PyTsetlinMachineCUDA
  Massively Parallel and Asynchronous Architecture for Logic-based AI
  ☆43Updated 2 years ago
• HiroakiMikami / deep-coder
  Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
  ☆108Updated 6 years ago
• kachayev / dataclasses-tensor
  Easily serialize dataclasses to and from tensors (PyTorch, NumPy)
  ☆18Updated 4 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last week
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆24Updated 7 years ago
• rasbt / 2021-pydata-jeddah
  Materials for "Transformers from the Ground Up" at PyData Jeddah on August 5, 2021
  ☆20Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• sayakpaul / MLPMixer-jax2tf
  This repository hosts code for converting the original MLP Mixer models (JAX) to TensorFlow.
  ☆15Updated 3 years ago