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 11 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
- Domain Name List Collections.☆23Apr 27, 2017Updated 9 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
- 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.
- What if analysis in Python☆15Jul 18, 2023Updated 2 years ago
- Thesis info☆17May 6, 2026Updated last month
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- Arctis Pro Wireless setup for PulseAudio☆13Jan 19, 2021Updated 5 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"☆21Mar 28, 2021Updated 5 years ago
- Python open source tools for Denon DJ hardware☆19Dec 29, 2024Updated last year
- 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 5 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.
- Single Python Project enabling quick infrastructure loading (SMB Servers, HTTP File Server, FTP, Webpage, NetScanner)☆13Jan 15, 2024Updated 2 years ago
- 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
- Simple Script to query hash databases APIs☆16Oct 27, 2018Updated 7 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
- qmake project highlighting support for the Vim editor☆17Dec 2, 2018Updated 7 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 5 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆15Jul 9, 2017Updated 8 years ago
- ☆21Jan 28, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Graphlit Platform☆32Feb 20, 2024Updated 2 years ago
- 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 7 months ago
- Fully Homomorphic Encryption Compiler☆18Jan 27, 2025Updated last year
- Merge a tab's windows with the current tab☆17Apr 19, 2017Updated 9 years ago
- Longformer for MS MARCO document re-ranking task.☆20Jan 11, 2021Updated 5 years ago
- This is java implementation of Graspan.☆20Dec 20, 2023Updated 2 years ago
- Time sheet application for organisations.☆45Dec 30, 2022Updated 3 years ago
- Working directory for dynamics learning for experimental robots.☆57Mar 26, 2021Updated 5 years ago
- Time for CTF(d) as Code☆19Jun 8, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆24Apr 25, 2024Updated 2 years ago
- A set of Groovy scripts for DataGrip to export tables to friendly classes☆14Jul 18, 2022Updated 3 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
- All source codes I wrote while pursuing HCIA-AI Certificate☆17Dec 17, 2020Updated 5 years ago
- An easy-to-use tensor compiler for FHE☆38Feb 18, 2025Updated last year
- Execute vim buffer in the shell and view output in split pane☆33Oct 2, 2018Updated 7 years ago
- 📚 Static blogs: YAML + Slim → HTML5☆34Jan 30, 2026Updated 4 months ago