A python program to minimize any given DFA
☆13Mar 25, 2018Updated 8 years ago
Alternatives and similar repositories for dfa-minimization
Users that are interested in dfa-minimization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Télécom Paris | MS Big Data | SD 701 | Big Data Mining Course Project using Spark and Google Colab for building Scalable Recommender Syst…☆21May 21, 2023Updated 3 years ago
- Rust wrapper for the cld2 language detection library.☆16Nov 28, 2017Updated 8 years ago
- Application for Math formula detection in image/pdf and then recognition☆13Jan 14, 2025Updated last year
- Get a computer to write regex for you. A front-end for grex (https://github.com/pemistahl/grex).☆11Sep 8, 2022Updated 3 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quarkus extension to that allows proper usage of Neo4j-OGM inside Quarkus.☆14Jul 13, 2026Updated last week
- ☆12Apr 17, 2021Updated 5 years ago
- Web tool to facilitage peg operations for sBTC☆14Jun 22, 2024Updated 2 years ago
- Performant, composable online learning☆16Feb 22, 2021Updated 5 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- A powerful, tagset-independent and theory-neutral meta model and API for storing, manipulating, and representing nearly all types of ling…☆15Mar 27, 2023Updated 3 years ago
- Bayer, Friz, Gulisashvili, Horvath, Stemper (2017). Short-time near-the-money skew in rough fractional volatility models.☆13Mar 23, 2017Updated 9 years ago
- Natural language detection, Java bindings for CLD2☆17Feb 26, 2026Updated 4 months ago
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- exotx provides a simple and user-friendly interface for pricing and analyzing financial derivatives using QuantLib's advanced numerical m…☆15Dec 2, 2023Updated 2 years ago
- A simple martingale system for betting/trading purposes.☆12Jun 27, 2024Updated 2 years ago
- This repository contains code for the paper: S Bergsma, T Zeyl, JR Anaraki, L Guo, C2FAR: Coarse-to-Fine Autoregressive Networks for Prec…☆13Dec 7, 2023Updated 2 years ago
- Fully automated trading system, strategy based on Kalman filter☆13May 7, 2018Updated 8 years ago
- Improving the Savitzky-Golay filtering in the presence of noisy data☆11Jan 23, 2016Updated 10 years ago
- Cryptocurrencies algorithmic trading strategies☆12Nov 20, 2018Updated 7 years ago
- Implementation of Residual LSTM: Design of a Deep Recurrent Architecture for Distant Speech Recognition☆10Feb 22, 2020Updated 6 years ago
- A PyTorch exercise in implementing a continuous time LSTM to simulate Neural Hawkes Process based on the paper by Hongyuan Mei and Jason …☆11Apr 11, 2023Updated 3 years ago
- High Frequency Time series Anomaly Detection using Self Organizing Maps (SOM) which is based on Competitive Learning a variant of the Neu…☆11Jul 16, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Stuttgart Finite State Transducer system☆25Jun 27, 2026Updated 3 weeks ago
- Archer: Agentic Code Review for LLVM PRs☆25Jul 13, 2026Updated last week
- Bindings to Google's Compact Language Detector 3 to JVM Based Languages☆21Jun 2, 2024Updated 2 years ago
- Source code for Deep Partial Least Squares for Empirical Asset Pricing.☆16Jun 22, 2022Updated 4 years ago
- ☆14Apr 1, 2019Updated 7 years ago
- Extracting minimal DFA's from well-trained RNN's☆11Nov 26, 2018Updated 7 years ago
- ☆14Sep 16, 2022Updated 3 years ago
- An experimental optimizing compiler written by LLM☆28May 23, 2026Updated last month
- Taylor moment expansion in Python (JaX and SymPy) and Matlab☆11Nov 26, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Nonlinear Granger causality inference with neural networks for high-resolution mass spectrometry☆14Oct 31, 2021Updated 4 years ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 7 months ago
- Using TensorFlow machine learning and Twitter sentiment analysis to predict stock trends☆55Feb 19, 2017Updated 9 years ago
- My personal work on the numerical projects of a book called "A First Course in Stochastic Calculus".☆17Apr 29, 2022Updated 4 years ago
- (Read-only) Generate n-grams☆27Aug 30, 2016Updated 9 years ago
- Implementation of the Bayesian Online Change-point Detector of Ryan Prescott Adams and David McKay.☆15Aug 16, 2021Updated 4 years ago
- Valuation of Callable Bonds with short rate Hull-White model using: binomial trees, PDE with Green functions etc.☆15Jun 6, 2018Updated 8 years ago