Alternatives and similar repositories for dfa-to-regex

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

• Inaxo / MathLib
  MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…
  ☆11Updated 2 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆58Updated last year
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆20Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 3 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated last week
• cair / PyTsetlinMachineCUDA
  Massively Parallel and Asynchronous Architecture for Logic-based AI
  ☆43Updated 2 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 3 months 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
• SparseLinearAlgebra / spla
  An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations
  ☆27Updated last week
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated this week
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• lyelibi / potts-model-clustering
  Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.
  ☆11Updated 4 years ago
• lkwilson / Conways-Game-Of-Life-AI
  Deep Reinforcement Learning Agent to control Conway's Game of Life
  ☆12Updated 6 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 2 months ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆87Updated 4 years ago
• myazdani / formal-algorithms-for-transformers
  PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
  ☆14Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆56Updated 2 months ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 9 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
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• ForoughA / recursiveMemNet
  Tree Stack Memory Units
  ☆17Updated 5 years ago
• kachayev / dataclasses-tensor
  Easily serialize dataclasses to and from tensors (PyTorch, NumPy)
  ☆18Updated 4 years ago
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated 2 years ago
• ichorid / ringsat
  CDCL SAT-solver for GPUs
  ☆12Updated 8 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• kevinconway / pycc
  Python code optimizer.
  ☆21Updated 11 years ago