An editor for deterministic finite automata
☆50Jun 3, 2021Updated 4 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:
- bidirectional astar search☆11Mar 14, 2013Updated 13 years ago
- A simple adaboost code using decision stumps as weak classifiers☆11Nov 1, 2012Updated 13 years ago
- QSapecNG☆14Jun 7, 2021Updated 4 years ago
- Qt5 COVID-19 simulator. Ada code under the hood. 🤯☆11Oct 29, 2020Updated 5 years ago
- PW-Sat2 hardware designed by the PW-Sat2 team☆12May 20, 2019Updated 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.
- Horizontal scrollbar for ttk Treeview widget python tkinter☆14Oct 18, 2017Updated 8 years ago
- Avionics Software for the University of Calgary’s Student Organization for Aerospace Research☆12Nov 8, 2025Updated 4 months ago
- C++ SQLite insert, update, delete, select demo☆19Jun 3, 2021Updated 4 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Public Design Files for MechWild keyboard kits.☆26Apr 12, 2022Updated 3 years ago
- A public repository for organizing files related to my PCB design series for mechanical keybaords☆30Jan 11, 2022Updated 4 years ago
- Autonomous flight software created to control the Crew Dragon spacecraft in ISS Docking Simulator by SpaceX☆12May 30, 2020Updated 5 years ago
- Simple Doodle Classifier written in python☆13May 19, 2018Updated 7 years ago
- Simplified and community-driven man pages for chrome!☆18Jul 20, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 8 Git Commands You Should Know☆16Mar 24, 2024Updated 2 years ago
- Data-Centric What-If Analysis for Native Machine Learning Pipelines☆16Jun 14, 2023Updated 2 years ago
- Example Container ImageBuilder project using the AWS CDK☆12Apr 10, 2025Updated 11 months ago
- Web cooperative platform for software management. This platform helps teams to implement software projects based on agile methodology (SC…☆13Nov 9, 2023Updated 2 years ago
- Convert YouTube transcriptions to .srt files☆10Oct 30, 2017Updated 8 years ago
- Firmware for the Dygma Raise Keyboard, it uses a Open source Firmware called Kaleidoscope from http://Keyboard.io☆48Mar 21, 2025Updated last year
- Solutions to the Meta practice coding challenges.☆18Dec 9, 2024Updated last year
- Extremely fast non-cryptographic hash algorithm☆21May 30, 2024Updated last year
- Mechanical macropad with OLED running QMK☆59Jun 28, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Unofficial http://torrentapi.org/ API library☆12May 22, 2023Updated 2 years ago
- Dark syntax theme for the Geany text editor.☆43Aug 27, 2018Updated 7 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Template I use for my Visual C++ projects.☆12Aug 28, 2019Updated 6 years ago
- A Alice layout throughole keyboard with USBC. Inspired by the Plaid and TGR Alice☆62Oct 22, 2021Updated 4 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 8 years ago
- Search and download a list of videos from Youtube in Parallel and convert them to mp3 along with their metadata and thumbnails☆13May 26, 2018Updated 7 years ago
- ☆21Apr 12, 2018Updated 7 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Library for tokenizing code with TextMate grammars☆15Mar 20, 2026Updated last week
- Investigation of focal and dice loss for the Kaggle 2018 data science bowl.☆18Mar 6, 2018Updated 8 years ago
- ☆64Apr 20, 2022Updated 3 years ago
- StenoFW is a firmware for StenoBoard keyboards.☆19Sep 10, 2016Updated 9 years ago
- Irmin website☆12Feb 26, 2026Updated last month
- Central resource for all info a new graduate student at University at Buffalo needs.☆10Apr 13, 2017Updated 8 years ago
- TP-Link Kasa smart plug/bulb adapter for WebThings Gateway☆16Dec 15, 2020Updated 5 years ago