vinyasns / dfa-to-regexLinks
A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
☆22Updated 7 years ago
Alternatives and similar repositories for dfa-to-regex
Users that are interested in dfa-to-regex are comparing it to the libraries listed below
Sorting:
- Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP☆162Updated 3 weeks ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- a list of StrongAI related resources.☆11Updated 2 years ago
- 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
- A Python package for automata theory.☆58Updated last year
- ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems☆19Updated 2 years ago
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆11Updated 4 years ago
- Implementation of generative semantic grammar.☆17Updated 3 years ago
- Metamath verifier in Python☆39Updated 4 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- A python library to manipulate formal languages and various automata☆55Updated 2 months ago
- Transformer-based approaches for an efficient docstrings generation on a piece of Python's code.☆17Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 2 months ago
- List of awesome JAX resources☆13Updated 2 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆12Updated 6 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- A Monte Carlo Tree Search AI for the game 2048☆30Updated 5 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated 2 months ago
- An automated approach to the Collatz conjecture☆12Updated 2 years ago
- Software to look for interrelationships between constants and find formulas for number sequences☆19Updated 2 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆26Updated 2 years ago
- ☆20Updated 2 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 2 months ago
- Probabilistic question-asking system: the program asks, the users answer. The minimal goal of the program is to identify what the user ne…☆73Updated 3 years ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 4 years ago
- Machine Learning library written in Python and NumPy.☆27Updated 4 months ago
- Automatic Differentiation for Gradient Boosted Decision Trees.☆13Updated 3 years ago
- Implementation of different variants of Parseval metric☆14Updated 11 years ago