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:
- A λ-calculus implementation in CoffeeScript☆12Nov 20, 2012Updated 13 years ago
- Accessible music☆10Mar 26, 2013Updated 13 years ago
- My PhD thesis☆14Mar 27, 2026Updated 7 months ago
- Algorithms and stuff in C++☆10Dec 29, 2018Updated 7 years ago
- A simple adaboost code using decision stumps as weak classifiers☆11Nov 1, 2012Updated 13 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.
- Docker image that takes a LaTeX document as input and outputs a PDF☆14Dec 17, 2015Updated 10 years ago
- This is a transcript of this video http://www.youtube.com/watch?v=No8kKiZ8ZkU☆14Jul 17, 2017Updated 9 years ago
- Contract to record hashes of recent and historic blocks☆14Sep 28, 2015Updated 11 years ago
- Horizontal scrollbar for ttk Treeview widget python tkinter☆12Oct 18, 2017Updated 9 years ago
- A social network☆11Dec 27, 2020Updated 5 years ago
- QSapecNG☆15Jun 7, 2021Updated 5 years ago
- PW-Sat2 hardware designed by the PW-Sat2 team☆13May 20, 2019Updated 7 years ago
- Avionics Software for the University of Calgary’s Student Organization for Aerospace Research☆12Nov 8, 2025Updated 11 months ago
- My Linux configuration files☆22Oct 18, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bandit Racer Server☆11May 13, 2013Updated 13 years ago
- Explore the progression of wildfires☆25Jan 2, 2026Updated 9 months ago
- Tool for automatic MC/DC in C and in Python.☆21Sep 5, 2019Updated 7 years ago
- Do not get distracted with social media by blockading them via /etc/hosts☆21Oct 8, 2022Updated 4 years ago
- ☆22May 29, 2020Updated 6 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆51Sep 23, 2022Updated 4 years ago
- Download recorded lessons from unifi webex platform passing by the Moodle platform.☆16Sep 23, 2023Updated 3 years ago
- ☆16Nov 4, 2019Updated 6 years ago
- Tool to execute BREACH attack.☆26Jul 27, 2018Updated 8 years ago
- 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.
- Ο Καλλίνικος είναι μία πλατφόρμα εκμάθησης αλγορίθμων για διαγωνισμούς πληροφορικής.☆22May 13, 2019Updated 7 years ago
- Explaining Inference Queries with Bayesian Optimization☆10Feb 11, 2021Updated 5 years ago
- Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data☆15Mar 26, 2014Updated 12 years ago
- 📜 A. Giannopoulos, D. Mouris M.Sc. thesis for University of Athens☆10Jan 31, 2020Updated 6 years ago
- High Dimensional Approximate Nearest Neighbor☆11Sep 3, 2017Updated 9 years ago
- A public repository for organizing files related to my PCB design series for mechanical keybaords☆30Jan 11, 2022Updated 4 years ago
- Βάση με υλοποιήσεις αλγορίθμων☆12Nov 2, 2018Updated 7 years ago
- Public Design Files for MechWild keyboard kits.☆27Apr 12, 2022Updated 4 years ago
- Build and verify Bitcoin Merkle proofs☆12May 11, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An automated shell script that compiles and runs a program on a set of test cases provided by the user.☆35Feb 22, 2020Updated 6 years ago
- Greek Street Names Directory☆14Sep 28, 2016Updated 10 years ago
- Linux Metrics Workshop☆11Jun 30, 2020Updated 6 years ago
- Thesis class for undergraduate theses at the University of Athens☆41Aug 15, 2023Updated 3 years ago
- A very quick and dirty XML library in C☆29Jun 15, 2024Updated 2 years ago
- Crypto Bib is a BibTeX database containing papers related to Cryptography, with manually checked entries and uniform BibTeX data.☆12Nov 6, 2015Updated 10 years ago
- A physically based offline renderer☆10Jan 7, 2024Updated 2 years ago