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:
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- Code for reproducing key results in the paper "Improving the Neural GPU Architecture for Algorithm Learning" by Karlis Freivalds, Renars …☆13Jul 4, 2018Updated 7 years ago
- pytest plugin which adds pdb helper commands related to pytest.☆12May 19, 2022Updated 3 years ago
- Balanced API library in python.☆70Nov 24, 2021Updated 4 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.
- Starter Kit for the ACRV Robotic Vision Challenge 1☆13May 16, 2019Updated 6 years ago
- CasCADe 4D visualization system for virtual construction planning☆15Feb 13, 2021Updated 5 years ago
- Search and download a list of videos from Youtube and convert them to mp3.☆10May 2, 2018Updated 7 years ago
- MOVED: now at https://opendev.org/x/synergy-scheduler-manager☆10Sep 26, 2019Updated 6 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- ☆13Aug 7, 2017Updated 8 years ago
- Resources to Learn WebVR 😎☆13Jun 21, 2019Updated 6 years ago
- ☆18Mar 5, 2017Updated 9 years ago
- [NeurIPS 2024 D&B Track] DACO: Towards Application-Driven and Comprehensive Data Analysis via Code Generation☆12Mar 5, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The objective of Cloud Builders' Day repository is to provide do-it-yourself lab guides for several AWS services including but not limite…☆11Aug 20, 2020Updated 5 years ago
- ☆13Jan 23, 2025Updated last year
- An effort to make a grammar checker using rule-based approach.☆10Apr 21, 2021Updated 4 years ago
- AWS Certified Solutions Architect Professional 2020 - SAP-C01☆10Dec 1, 2019Updated 6 years ago
- Implementation of distributed and parallel databases operations like fragmentation, parallel sort, range query etc.☆10Nov 2, 2017Updated 8 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44May 15, 2021Updated 4 years ago
- Advanced Strawberry Logic for All LLMs☆15Sep 24, 2024Updated last year
- Code for replication of the paper "GANs beyond divergence minimization"☆21Jan 14, 2019Updated 7 years ago
- Analysis notebooks for "SARS-CoV-2 entry factors are highly expressed in nasal epithelial cells together with innate immune genes".☆14Nov 20, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Solving Puzzles with Python - tutorial at PyCon India 2012☆18Oct 5, 2012Updated 13 years ago
- Eden Flux LoRA trainer and full-finetuning☆23Mar 21, 2025Updated last year
- Documentation for Quay.io☆17Feb 12, 2020Updated 6 years ago
- A small header-only c++ library to depixelize pixels to contours☆20Aug 21, 2025Updated 7 months ago
- Repository for the ANU Computer Vision course, 1st semester of 2013☆12May 31, 2013Updated 12 years ago
- Red Hat Czech's International Open Source Developers Conference☆10Jan 20, 2026Updated 2 months ago
- A javascript library to build bubble chart using d3 and d3plus☆11Feb 21, 2017Updated 9 years ago
- Basic Paxos implementation for education☆13Aug 23, 2018Updated 7 years ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OpenEBS Website and User Documentation☆13Apr 6, 2026Updated last week
- Delegate methods and properties to child objects in a terse, explicit style☆14Apr 20, 2021Updated 4 years ago
- Scrapy project to fetch movies data from IMDB and put on MySQL DB. It download movie covers also and more scrapers will be done on future…☆15Aug 28, 2012Updated 13 years ago
- Use Fission through Serverless Framework https://serverless.com☆19Sep 7, 2021Updated 4 years ago
- CM extended ROM/kernel patches☆28Jul 25, 2013Updated 12 years ago
- ☆18Jan 3, 2021Updated 5 years ago
- A multithreaded programming demonstration in Python & Pygame using a "Nibbles" clone.☆54Jul 1, 2014Updated 11 years ago