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
- 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
- Horizontal scrollbar for ttk Treeview widget python tkinter☆12Oct 18, 2017Updated 8 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.
- Avionics Software for the University of Calgary’s Student Organization for Aerospace Research☆12Nov 8, 2025Updated 5 months ago
- Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data☆14Mar 26, 2014Updated 12 years ago
- Download recorded lessons from unifi webex platform passing by the Moodle platform.☆16Sep 23, 2023Updated 2 years ago
- C++ SQLite insert, update, delete, select demo☆19Jun 3, 2021Updated 4 years ago
- Custom built NumPad with Encoders and Display☆22Dec 29, 2019Updated 6 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Custom made TKL RGB HotSwap keyboard.☆22Nov 10, 2023Updated 2 years ago
- Exploration of the U.S. rulesets as a network☆16May 20, 2022Updated 3 years ago
- Public Design Files for MechWild keyboard kits.☆26Apr 12, 2022Updated 4 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.
- this is obsolete. please go to https://github.com/bitzhuwei/GrammarMentor☆18Jul 7, 2021Updated 4 years ago
- A public repository for organizing files related to my PCB design series for mechanical keybaords☆30Jan 11, 2022Updated 4 years ago
- Large-scale topic discovery with Sampled-MinHashing☆10Jul 3, 2019Updated 6 years ago
- A very quick and dirty XML library in C☆29Jun 15, 2024Updated last year
- Autonomous flight software created to control the Crew Dragon spacecraft in ISS Docking Simulator by SpaceX☆12May 30, 2020Updated 5 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Java implementation of Devin Cook's GOLD Parser engine☆34Apr 19, 2024Updated 2 years ago
- SUccinct Retrieval Framework☆21Jan 24, 2016Updated 10 years ago
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- 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.
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆60Oct 2, 2014Updated 11 years ago
- Perfect Hash Functions☆18Feb 27, 2015Updated 11 years ago
- Async-friendly stateful React containers☆12Feb 7, 2016Updated 10 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
- Mechanical macropad with OLED running QMK☆59Jun 28, 2023Updated 2 years ago
- Fortuna library functions extracted from PostgreSQL source☆15Apr 27, 2015Updated 10 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Elliptic Curve Cryptography☆13Mar 23, 2010Updated 16 years ago
- A Alice layout throughole keyboard with USBC. Inspired by the Plaid and TGR Alice☆62Oct 22, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Template I use for my Visual C++ projects.☆12Aug 28, 2019Updated 6 years ago
- Friendly flux based on channels and immutable data☆17Apr 19, 2018Updated 8 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
- Thread safe []byte pool for Go☆27Oct 25, 2015Updated 10 years ago
- Proof of concept on how to implement the Reed Solomon class of error correcting codes in Python☆103Jul 29, 2015Updated 10 years ago
- Python Finite State Machine implementation with a pygraphviz hook☆21Apr 3, 2019Updated 7 years ago