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
- ☆13Oct 1, 2026Updated 2 weeks ago
- Relay between Telegram groups and IRC channels. Forked for #wikipedia-zh.☆12Nov 26, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Parsing tools for ARM's ASL☆14Jun 20, 2024Updated 2 years ago
- 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
- What if analysis in Python☆15Jul 18, 2023Updated 3 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
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mixxx: Hercules Impulse 500 mappings☆14Jan 3, 2025Updated last year
- 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
- Time for CTF(d) as Code☆19Updated this week
- Graphlit Platform☆32Feb 20, 2024Updated 2 years ago
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- 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 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
- ☆21Jan 28, 2020Updated 6 years 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
- A set of Groovy scripts for DataGrip to export tables to friendly classes☆14Jul 18, 2022Updated 4 years ago
- Fully Homomorphic Encryption Compiler☆20Jan 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
- Working directory for dynamics learning for experimental robots.☆57Updated this week
- ☆24Apr 25, 2024Updated 2 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☆18Dec 17, 2020Updated 5 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
- Python open source tools for Denon DJ hardware☆20Dec 29, 2024Updated last year
- Estimate dense depth maps from RGB image and sparse depth maps☆14Oct 4, 2018Updated 8 years ago
- Thesis code☆26Aug 16, 2023Updated 3 years ago
- Mencoba memberi titik terang pada ruwetnya data science☆21Jan 1, 2025Updated last year
- pytest plugin which adds pdb helper commands related to pytest.☆12May 19, 2022Updated 4 years ago