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☆17Sep 10, 2025Updated 7 months ago
- 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 4 years ago
- Sources of Dockerfile generated Docker image "CODESYS Control"☆21Mar 28, 2021Updated 5 years ago
- Python open source tools for Denon DJ hardware☆18Dec 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
- Single Python Project enabling quick infrastructure loading (SMB Servers, HTTP File Server, FTP, Webpage, NetScanner)☆13Jan 15, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 5 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 13 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.☆19Mar 4, 2023Updated 3 years ago
- qmake project highlighting support for the Vim editor☆17Dec 2, 2018Updated 7 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆14Jul 9, 2017Updated 8 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- ☆21Jan 28, 2020Updated 6 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.
- 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 5 months ago
- Graphlit Platform☆31Feb 20, 2024Updated 2 years ago
- Fully Homomorphic Encryption Compiler☆18Jan 27, 2025Updated last year
- Longformer for MS MARCO document re-ranking task.☆20Jan 11, 2021Updated 5 years 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
- 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☆19Apr 28, 2026Updated last week
- 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.
- ☆23Apr 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☆37Feb 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 3 months ago