Alternatives and similar repositories for dfa-to-regex

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

• martysai / source-code-summarization
  Transformer-based approaches for an efficient docstrings generation on a piece of Python's code.
  ☆17Updated 4 years ago
• avaneev / biteopt
  Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
  ☆159Updated 6 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 9 years ago
• cair / PyTsetlinMachineCUDA
  Massively Parallel and Asynchronous Architecture for Logic-based AI
  ☆43Updated 2 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 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
• lyelibi / potts-model-clustering
  Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.
  ☆11Updated 3 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆18Updated 3 years ago
• edwardjhu / improved_wasserstein
  Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"
  ☆14Updated 5 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• myazdani / formal-algorithms-for-transformers
  PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
  ☆15Updated 2 years ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 8 years ago
• srush / drop7
  ☆18Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• ForoughA / recursiveMemNet
  Tree Stack Memory Units
  ☆17Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆26Updated this week
• prajjwal1 / fluence
  A deep learning library based on Pytorch focussed on low resource language research and robustness
  ☆70Updated 3 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆29Updated this week
• kachayev / dataclasses-tensor
  Easily serialize dataclasses to and from tensors (PyTorch, NumPy)
  ☆18Updated 4 years ago
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• djbarrow / fundamental
  Software to look for interrelationships between constants and find formulas for number sequences
  ☆19Updated this week
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆52Updated 3 months ago
• myint / pyfuzz
  Random program generator for Python
  ☆10Updated 12 years ago
• Jungyhuk / plotcoder
  ☆21Updated 3 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 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
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated 4 months ago