vinyasns / dfa-to-regexLinks
A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
☆21Updated 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:
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems☆19Updated 2 years ago
- A Python package for automata theory.☆57Updated last year
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆43Updated 2 years ago
- a list of StrongAI related resources.☆11Updated 2 years ago
- egraphs-good website☆18Updated 11 months ago
- Automatic Differentiation for Gradient Boosted Decision Trees.☆13Updated 3 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆12Updated 6 years ago
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆11Updated 3 years ago
- A Monte Carlo Tree Search AI for the game 2048☆30Updated 5 years ago
- Cellular automata search program☆26Updated 3 years ago
- Can I make an *optimizing* compiler under 1k lines of code?☆61Updated 7 months ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- A framework for mini neural networks (perceptrons), written from scratch in python. The goal of the project is to demystify the workings …☆21Updated 4 years ago
- PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238☆14Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Machine Learning library written in Python and NumPy.☆27Updated 3 months ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Updated 4 years ago
- Isomorphisms of quiver representations applied to neural networks.☆16Updated last year
- A second order optimizer for TensorFlow that uses the Saddle-Free method.☆22Updated 6 years ago
- Experiments with Message Passing GNNs in C++ and PyTorch.☆26Updated last year
- EvoDynamic seeks to evolve and develop suitable discrete dynamic models of self-organizing systems based on local interactions.☆20Updated 4 months ago
- ☆20Updated 2 years ago
- Squanchy is a brand new, easy to learn, general purpose, multi-paradigm, compiled programming language. The language is written from scra…☆15Updated 5 years ago
- Minimum Description Length Recurrent Neural Networks☆18Updated 2 years ago
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- Kolmogorov Arnold Networks trained on MNIST☆12Updated last year
- List of awesome JAX resources☆13Updated 2 years ago
- Kaleidoscope is a toy programming language built from scratch using the LLVM libraries.☆22Updated 3 months ago
- a collection of Gymnasium environments for saturation provers☆23Updated 2 weeks ago