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:
- bidirectional astar search☆11Mar 14, 2013Updated 13 years ago
- Python implementations of some algorithms from the CLRS textbook☆10Dec 8, 2019Updated 6 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
- Download recorded lessons from unifi webex platform passing by the Moodle platform.☆16Sep 23, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Custom built NumPad with Encoders and Display☆22Dec 29, 2019Updated 6 years ago
- A public repository for organizing files related to my PCB design series for mechanical keybaords☆30Jan 11, 2022Updated 4 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- A very quick and dirty XML library in C☆29Jun 15, 2024Updated 2 years ago
- Extract metadata from a video to an sqlite database☆19May 23, 2024Updated 2 years ago
- Build kaldi inside docker containers with option for CUDA support☆12Feb 6, 2017Updated 9 years ago
- ☆15Nov 5, 2018Updated 7 years ago
- Firmware for the Dygma Raise Keyboard, it uses a Open source Firmware called Kaleidoscope from http://Keyboard.io☆49Mar 21, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Example Container ImageBuilder project using the AWS CDK☆12Jul 23, 2026Updated last month
- An Epidemic Simulator with real time charts and statistics using a modified SIR model☆10Apr 18, 2020Updated 6 years ago
- Smoothly interpolate keyframes☆14May 17, 2019Updated 7 years ago
- A Datalog compiler and library☆19Jul 1, 2021Updated 5 years ago
- GSoC 2019: Development of a Tool for Extracting Quantitative Text Profiles☆11Jul 7, 2020Updated 6 years ago
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 8 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
- Simplified and community-driven man pages for chrome!☆18Jul 20, 2022Updated 4 years ago
- Async-friendly stateful React containers☆12Feb 7, 2016Updated 10 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.
- Mechanical macropad with OLED running QMK☆60Jun 28, 2023Updated 3 years ago
- Lab exercises of Speech and Language Processing course in NTUA☆11Oct 8, 2024Updated last year
- My kind of step library. no dependencies. 120 lines of code. 383 lines of tests.☆19Mar 17, 2015Updated 11 years ago
- Control LEGO Power Functions with a Raspberry Pi and an IR LED, using LIRC (Linux Infrared Remote Control).☆42May 10, 2016Updated 10 years ago
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆11May 27, 2022Updated 4 years ago
- Observer done right☆15Nov 11, 2024Updated last year
- Search and download a list of videos from Youtube in Parallel and convert them to mp3 along with their metadata and thumbnails☆14Apr 18, 2026Updated 4 months ago
- Friendly flux based on channels and immutable data☆17Apr 19, 2018Updated 8 years ago
- ☆12Jan 8, 2016Updated 10 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.
- container docker for run a git server with ihm☆15Nov 17, 2022Updated 3 years ago
- Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).☆13Jul 23, 2018Updated 8 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17Jul 10, 2026Updated last month
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- A useful starting point for CFIs, students, and anyone hoping to learn more about aviation.☆17Updated this week
- Generate QR codes in UNIX way☆12Aug 5, 2019Updated 7 years ago
- Investigation of focal and dice loss for the Kaggle 2018 data science bowl.☆18Mar 6, 2018Updated 8 years ago