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 5 years ago
- Introduction to Ramda☆18Aug 11, 2016Updated 10 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
- Parsing tools for ARM's ASL☆14Jun 20, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Arctis Pro Wireless setup for PulseAudio☆13Jan 19, 2021Updated 5 years ago
- Single Python Project enabling quick infrastructure loading (SMB Servers, HTTP File Server, FTP, Webpage, NetScanner)☆13Jan 15, 2024Updated 2 years ago
- Thesis info☆18May 6, 2026Updated 5 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
- 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 6 years ago
- Mixxx: Hercules Impulse 500 mappings☆14Jan 3, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is an example parser written in flex and bison☆12May 7, 2012Updated 14 years ago
- 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
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆16Jul 9, 2017Updated 9 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
- Time for CTF(d) as Code☆19Oct 7, 2026Updated last week
- ☆21Jan 28, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This project is based on the original code of the inteoryx / twitter-video-dl project, which allows users to download Twitter videos as M…☆14Nov 13, 2025Updated 11 months ago
- Merge a tab's windows with the current tab☆17Apr 19, 2017Updated 9 years ago
- This is java implementation of Graspan.☆22Dec 20, 2023Updated 2 years ago
- Fully Homomorphic Encryption Compiler☆20Jan 27, 2025Updated last year
- A set of Groovy scripts for DataGrip to export tables to friendly classes☆14Jul 18, 2022Updated 4 years ago
- A list of references to the most popular research methodologies in software engineering and business information systems.☆20Mar 4, 2023Updated 3 years ago
- Working directory for dynamics learning for experimental robots.☆57Updated this week
- ☆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 Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- All source codes I wrote while pursuing HCIA-AI Certificate☆18Dec 17, 2020Updated 5 years ago
- Python open source tools for Denon DJ hardware☆20Dec 29, 2024Updated last year
- Thesis code☆26Aug 16, 2023Updated 3 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 13 years ago