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
Sorting:
- bidirectional astar search☆11Mar 14, 2013Updated 12 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- various collected notes, some copy/pasted from elsewhere, but mostly original☆10Jun 28, 2016Updated 9 years ago
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated 10 months ago
- ☆14Nov 29, 2022Updated 3 years ago
- Exploration of the U.S. rulesets as a network☆15May 20, 2022Updated 3 years ago
- Código para streaming de áudio de um ESP32 para um Raspberry☆11Jan 31, 2019Updated 7 years ago
- ☆13Jan 30, 2026Updated last month
- OCaml implementation of MySQL/MariaDB protocol with the Bitstring library☆14Apr 12, 2022Updated 3 years ago
- For documenting ActiveX components☆11Dec 6, 2024Updated last year
- A collection of algorithms and data structures implemented in the python programming language. Nothing serious, just a training canvas fo…☆11Feb 13, 2019Updated 7 years ago
- Automate some common Turo work that I have to do manually☆11Aug 1, 2018Updated 7 years ago
- Standalone utility to encrypt files with ice encryption, that doesn't depend on Steam.☆10Aug 28, 2013Updated 12 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- ☆13Aug 25, 2017Updated 8 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- The Meteor 1.4 For Everyone Tutorial Series Code☆11Sep 17, 2016Updated 9 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- Source Code for 'Data Mashup with Microsoft Excel Using Power Query and M' by Adam Aspin☆10Aug 4, 2020Updated 5 years ago
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- Library for tokenizing code with TextMate grammars☆14Updated this week
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 years ago
- A Wireless multi-module DCS-Bios button box based on ESP32 microcontroller.☆10Feb 11, 2022Updated 4 years ago
- Irmin website☆12Feb 26, 2026Updated last week
- CISCO configuration guides☆14Feb 16, 2020Updated 6 years ago
- go client for baidu/tera☆12Apr 20, 2018Updated 7 years ago
- The Judo score board and timer☆16Jan 18, 2026Updated last month
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated last month
- OCaml PPX extension for automatically generating Irmin types☆11Jan 14, 2020Updated 6 years ago
- Large-scale topic discovery with Sampled-MinHashing☆10Jul 3, 2019Updated 6 years ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 7 years ago
- Autonomous flight software created to control the Crew Dragon spacecraft in ISS Docking Simulator by SpaceX☆12May 30, 2020Updated 5 years ago
- This framework has been written to work with the Windows Host Script platform to provide the basic methods to develop simple scripting to…☆12Jun 25, 2018Updated 7 years ago
- A small CLI to launch notifications at a given time☆13Sep 9, 2020Updated 5 years ago
- ☆21Apr 27, 2023Updated 2 years ago