A Theory of Computation (TOC) tool written purely in python to check and experiment with TOC concepts. It has functionalities which allows users to work with both deterministic and non deterministic automata, regular expressions, turing machines etc.
☆13Jun 24, 2014Updated 12 years ago
Alternatives and similar repositories for AutomataPlus
Users that are interested in AutomataPlus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A summary of my work done during the Google Summer of Code(GSoC)'21 at the organization React Native Elements.☆14Aug 19, 2021Updated 4 years ago
- Introduction to Ramda☆18Aug 11, 2016Updated 9 years ago
- Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!☆18Nov 4, 2018Updated 7 years ago
- Relay between Telegram groups and IRC channels. Forked for #wikipedia-zh.☆12Nov 26, 2016Updated 9 years ago
- Arctis Pro Wireless setup for PulseAudio☆13Jan 19, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Single Python Project enabling quick infrastructure loading (SMB Servers, HTTP File Server, FTP, Webpage, NetScanner)☆13Jan 15, 2024Updated 2 years ago
- Thesis info☆17May 6, 2026Updated 2 months ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- Automatic python3 script to exploit CSE BookStore v1.0☆14Jun 16, 2021Updated 5 years ago
- Sources of Dockerfile generated Docker image "CODESYS Control"☆22Mar 28, 2021Updated 5 years ago
- Code for paper "Short-term River Flood Forecasting using Composite Models and Automated Machine Learning: the Case Study of Lena River"☆12Dec 9, 2021Updated 4 years ago
- What if analysis in Python☆15Jul 18, 2023Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 years ago
- This is an example parser written in flex and bison☆12May 7, 2012Updated 14 years ago
- 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.
- Mixxx: Hercules Impulse 500 mappings☆14Jan 3, 2025Updated last year
- qmake project highlighting support for the Vim editor☆17Dec 2, 2018Updated 7 years ago
- Simple Script to query hash databases APIs☆16Oct 27, 2018Updated 7 years ago
- Longformer for MS MARCO document re-ranking task.☆20Jan 11, 2021Updated 5 years ago
- Graphlit Platform☆32Feb 20, 2024Updated 2 years ago
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆15Jul 9, 2017Updated 9 years ago
- Time for CTF(d) as Code☆19Jul 6, 2026Updated 3 weeks ago
- ☆21Jan 28, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This project is based on the original code of the inteoryx / twitter-video-dl project, which allows users to download Twitter videos as M…☆13Nov 13, 2025Updated 8 months ago
- Merge a tab's windows with the current tab☆17Apr 19, 2017Updated 9 years ago
- This is java implementation of Graspan.☆20Dec 20, 2023Updated 2 years ago
- Fully Homomorphic Encryption Compiler☆19Jan 27, 2025Updated last year
- A list of references to the most popular research methodologies in software engineering and business information systems.☆20Mar 4, 2023Updated 3 years ago
- A set of Groovy scripts for DataGrip to export tables to friendly classes☆14Jul 18, 2022Updated 4 years ago
- Working directory for dynamics learning for experimental robots.☆57Mar 26, 2021Updated 5 years ago
- ☆24Apr 25, 2024Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- All source codes I wrote while pursuing HCIA-AI Certificate☆17Dec 17, 2020Updated 5 years ago
- Python open source tools for Denon DJ hardware☆19Dec 29, 2024Updated last year
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- Mencoba memberi titik terang pada ruwetnya data science☆21Jan 1, 2025Updated last year
- A javascript library to build bubble chart using d3 and d3plus☆11Feb 21, 2017Updated 9 years ago
- pytest plugin which adds pdb helper commands related to pytest.☆12May 19, 2022Updated 4 years ago
- ☆16Oct 9, 2013Updated 12 years ago