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:
- QSapecNG☆15Jun 7, 2021Updated 5 years ago
- Download recorded lessons from unifi webex platform passing by the Moodle platform.☆16Sep 23, 2023Updated 2 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
- Custom built NumPad with Encoders and Display☆22Dec 29, 2019Updated 6 years ago
- The community website for Banjo-Kazooie speedrunning☆16Updated this week
- 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.
- Open directory indexer☆10Jan 8, 2023Updated 3 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- MDX Deck + Greensock Animation Platform☆10Jul 17, 2025Updated last year
- A Serverless tool to automate Grafana components Backup and Restore.☆13May 15, 2024Updated 2 years ago
- Código para streaming de áudio de um ESP32 para um Raspberry☆11Jan 31, 2019Updated 7 years ago
- Code for MICCAI 2017 paper on binary sparse convolutions for semantic segmentation of medical images☆11Jun 15, 2017Updated 9 years ago
- Simple Bash script to download the Wall Street Journal for free (Mac Only)☆13Aug 28, 2018Updated 8 years ago
- Solutions to Stanford Programming Abstractions☆11Jun 22, 2013Updated 13 years ago
- ☆13Aug 5, 2024Updated 2 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.
- A React app showcasing how to integrate Amazon Lookout for Equipment in a broader predictive maintenance solution.☆14May 23, 2024Updated 2 years ago
- Convert YouTube transcriptions to .srt files☆10Oct 30, 2017Updated 8 years ago
- Simplified and community-driven man pages for chrome!☆18Jul 20, 2022Updated 4 years ago
- A scan of all .gov.uk sites for the most common security headers or lack of☆15May 16, 2026Updated 4 months ago
- Nvidia Deepstream FFMPEG RTSP to HTTP Streaming☆15Sep 25, 2020Updated 5 years ago
- FRISC processor simulator in JavaScript☆24Dec 30, 2024Updated last year
- Dark syntax theme for the Geany text editor.☆44Aug 27, 2018Updated 8 years ago
- Unofficial http://torrentapi.org/ API library☆12May 22, 2023Updated 3 years ago
- Code (and maybe other stuff) I use in game jams☆11Dec 22, 2024Updated last year
- 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.
- Command line utility for URL decoding & encoding.☆13Aug 17, 2021Updated 5 years ago
- ☆16Jun 11, 2015Updated 11 years ago
- Search and download a list of videos from Youtube in Parallel and convert them to mp3 along with their metadata and thumbnails☆15Apr 18, 2026Updated 5 months ago
- Python Finite State Machine implementation with a pygraphviz hook☆21Apr 3, 2019Updated 7 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- List of math utils used for our projects 🙌☆17May 31, 2017Updated 9 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17Jul 10, 2026Updated 2 months ago
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- algorithms implement in C☆17Oct 1, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My solutions to Stanford's CS106B programming assignments☆13Jul 1, 2012Updated 14 years ago
- Investigation of focal and dice loss for the Kaggle 2018 data science bowl.☆18Mar 6, 2018Updated 8 years ago
- CSV injection Vulnerable Script.☆29Jun 19, 2017Updated 9 years ago
- ☆17Mar 27, 2020Updated 6 years ago
- ☆28Nov 16, 2022Updated 3 years ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆19Apr 19, 2016Updated 10 years ago
- Irmin website☆12Feb 26, 2026Updated 6 months ago