An editor for deterministic finite automata
☆50Jun 3, 2021Updated 5 years ago
Alternatives and similar repositories for Automata
Users that are interested in Automata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python implementations of some algorithms from the CLRS textbook☆10Dec 8, 2019Updated 6 years ago
- Qt5 COVID-19 simulator. Ada code under the hood. 🤯☆11Oct 29, 2020Updated 5 years ago
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 9 years ago
- PW-Sat2 hardware designed by the PW-Sat2 team☆12May 20, 2019Updated 7 years ago
- Do not get distracted with social media by blockading them via /etc/hosts☆21Oct 8, 2022Updated 3 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.
- LL(1) parser generator☆14Jul 12, 2018Updated 7 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Exploration of the U.S. rulesets as a network☆16May 20, 2022Updated 4 years ago
- this is obsolete. please go to https://github.com/bitzhuwei/GrammarMentor☆18Jul 7, 2021Updated 4 years ago
- A lightweight python system dashboard written in cherry py delivered over the web.☆10Jun 2, 2026Updated 3 weeks ago
- Greek Street Names Directory☆14Sep 28, 2016Updated 9 years ago
- Open directory indexer☆10Jan 8, 2023Updated 3 years ago
- Βάση με υλοποιήσεις αλγορίθμων☆12Nov 2, 2018Updated 7 years ago
- A program for downloading sci literature☆10May 10, 2018Updated 8 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.
- Thesis class for undergraduate theses at the University of Athens☆41Aug 15, 2023Updated 2 years ago
- benchmark driver for "Can Learned Models Replace Hash Functions?" VLDB submission☆16Oct 31, 2023Updated 2 years ago
- Simplified and community-driven man pages for chrome!☆18Jul 20, 2022Updated 3 years ago
- A Serverless tool to automate Grafana components Backup and Restore.☆12May 15, 2024Updated 2 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆13Nov 25, 2018Updated 7 years ago
- ☆15Nov 5, 2018Updated 7 years ago
- Smoothly interpolate keyframes☆14May 17, 2019Updated 7 years ago
- Simple Bash script to download the Wall Street Journal for free (Mac Only)☆13Aug 28, 2018Updated 7 years ago
- Example Container ImageBuilder project using the AWS CDK☆12Jun 16, 2026Updated last week
- 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.
- Generate puns from English phrases☆11Mar 3, 2018Updated 8 years ago
- Async-friendly stateful React containers☆12Feb 7, 2016Updated 10 years ago
- GSoC 2019: Development of a Tool for Extracting Quantitative Text Profiles☆11Jul 7, 2020Updated 5 years ago
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 7 years ago
- A React app showcasing how to integrate Amazon Lookout for Equipment in a broader predictive maintenance solution.☆14May 23, 2024Updated 2 years ago
- A scan of all .gov.uk sites for the most common security headers or lack of☆15May 16, 2026Updated last month
- Home of Page Numbering Addon development.☆11May 1, 2019Updated 7 years ago
- ☆13Aug 5, 2024Updated last year
- madIS - Extensible relational DB based on SQLite☆21May 7, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mechanical macropad with OLED running QMK☆59Jun 28, 2023Updated 3 years ago
- This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.☆10Feb 12, 2019Updated 7 years ago
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆12May 27, 2022Updated 4 years ago
- An Epidemic Simulator with real time charts and statistics using a modified SIR model☆10Apr 18, 2020Updated 6 years ago
- Drawing tree structures with SVG and JavaScript☆34Aug 2, 2015Updated 10 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- Code accompanying the paper "Three hypergraph eigenvector centralities."☆12Mar 20, 2019Updated 7 years ago