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
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆20Updated 2 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated last year
• avaneev / biteopt
  Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
  ☆164Updated 2 weeks ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆57Updated 4 months ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• OptimalFoundation / nadir
  Nadir: Cutting-edge PyTorch optimizers for simplicity & composability! 🔥🚀💻
  ☆14Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• iml130 / nncg
  NNCG: A Neural Network Code Generator
  ☆35Updated last year
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 4 months ago
• valayDave / arxiv-miner
  arxiv_miner is a toolkit for mining research papers on CS ArXiv.
  ☆139Updated last year
• Walid-khaled / Design-Patterns-Detection-ML
  This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…
  ☆10Updated 3 years ago
• kevinconway / pycc
  Python code optimizer.
  ☆21Updated 11 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 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
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆90Updated this week
• justindujardin / mathy
  Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
  ☆143Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆17Updated 3 years ago
• autosoft-dev / tree-hugger
  A light-weight, extendable, high level, universal code parser built on top of tree-sitter
  ☆131Updated 4 years ago
• srush / drop7
  ☆18Updated last year
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• dan0nchik / SAP-HANA-AutoML
  Python Automated Machine Learning library for tabular data.
  ☆47Updated 3 years ago
• jianguda / afm4acs
  ☆15Updated 4 years ago
• thomasahle / mcts-2048
  A Monte Carlo Tree Search AI for the game 2048
  ☆30Updated 5 years ago
• SparseLinearAlgebra / spla
  An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations
  ☆30Updated last month
• evanbernard / MiniNeuralNets
  A framework for mini neural networks (perceptrons), written from scratch in python. The goal of the project is to demystify the workings …
  ☆21Updated 5 years ago
• Megha-Bose / Automata-Theory-Conversions
  Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
  ☆30Updated 4 years ago