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
• cair / PyTsetlinMachineCUDA
  Massively Parallel and Asynchronous Architecture for Logic-based AI
  ☆43Updated 3 years ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆20Updated 2 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 5 months ago
• avaneev / biteopt
  Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
  ☆164Updated last month
• djbarrow / fundamental
  Software to look for interrelationships between constants and find formulas for number sequences
  ☆19Updated this week
• jart / matmul
  ☆18Updated last year
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆16Updated 3 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• lyelibi / potts-model-clustering
  Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.
  ☆11Updated 4 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 8 years ago
• jeguzzi / mighty-thymio
  Complementary material to EAAAI18 Paper "Mighty Thymio for Higher-Level Robotics Education"
  ☆19Updated 2 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆90Updated 3 weeks ago
• altsoph / paranoid_transformer
  Paranoid Transformer for NaNoGenMo
  ☆19Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated this week
• MuonRay / QuantumNetworkSimulations
  A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…
  ☆14Updated 3 months ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆32Updated 2 years ago
• srlearn / srlearn
  ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
  ☆31Updated 3 years ago
• myazdani / formal-algorithms-for-transformers
  PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238
  ☆13Updated 2 years ago
• staeiou / arxiv_archive
  A tidy and complete archive of metadata for papers on arxiv.org, 1993-2019
  ☆29Updated 6 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆49Updated 3 weeks ago
• edwardjhu / improved_wasserstein
  Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"
  ☆14Updated 5 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated 2 years ago
• C1510 / agd_exp
  Experimental version of jxbz/agd implementing support for bias terms, affine parameters, transformers, etc.
  ☆12Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆58Updated 4 months ago
• srush / drop7
  ☆18Updated last year
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 3 years ago
• JetBrains-Research / pubtrends-review
  Automatic generation of reviews of scientific papers
  ☆31Updated 9 months ago