vinyasns / dfa-to-regex
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
- Evolutionary Algorithms implementations, for various (discrete & continuous) optimization problems, including for autonomous agent contro…☆12Updated 6 months ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆12Updated 6 years ago
- PyTorch implementation of algorithms in https://arxiv.org/abs/2207.09238☆13Updated last year
- Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"☆10Updated 4 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 last year
- Divide-and-Conquer Parallel Pattern Implementation in FastFlow☆10Updated 3 years ago
- ☆18Updated 11 months ago
- Neural-Network Guided Expression Transformation☆12Updated 6 years ago
- ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems☆19Updated last year
- Tiny Genetic Algorithm in Python.☆9Updated last year
- egraphs-good website☆16Updated 5 months ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 10 months ago
- A Gentle Principled Introduction to Deep Reinforcement Learning☆19Updated this week
- List of awesome JAX resources☆13Updated 2 years ago
- A tracing JIT compiler for PyTorch☆13Updated 3 years ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆15Updated 3 years ago
- SKIP for AI☆21Updated 5 years ago
- A second order optimizer for TensorFlow that uses the Saddle-Free method.☆20Updated 6 years ago
- Jax like function transformation engine but micro, microjax☆30Updated 5 months ago
- ☆30Updated 4 years ago
- Isomorphisms of quiver representations applied to neural networks.☆16Updated 8 months ago
- CDCL SAT-solver for GPUs☆11Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Parallel SAT Solver☆10Updated 7 years ago
- ☆19Updated 7 months ago
- Massively Parallel and Asynchronous Architecture for Logic-based AI☆41Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Interface between networkx and manim☆50Updated 4 years ago
- Tutorial: Writing R and Python Packages with Multithreaded C++ Code using BLAS, AVX2/AVX512, OpenMP, C++11 Threads and Cuda GPU accelerat…☆14Updated 2 years ago
- Quick reference for using Sympy and Jupyter to quickly solve college math☆9Updated 6 years ago