Automata (DFA/NFA/PDA/TM) diagrams made easy with LaTeX and Metapost
☆22Dec 29, 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:
- Copy-on-write NFS server☆15Aug 17, 2009Updated 17 years ago
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated last year
- A DOS redirector for mounting VMware's Shared Folders☆14May 3, 2023Updated 3 years ago
- PMD Plugin for the Eclipse IDE☆14Updated this week
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 8 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.
- An eclipse plugin for TDD automated recognition based on Zorro☆14Jan 18, 2018Updated 8 years ago
- ☆10Aug 25, 2020Updated 6 years ago
- Identify terminological ambiguity and incompleteness in user stories☆11Dec 16, 2020Updated 5 years ago
- A benchmark framework for Tensorflow 2.X☆12Apr 20, 2024Updated 2 years ago
- Overleaf symbol-recognition extension☆12Dec 27, 2021Updated 4 years ago
- Check if an object is empty.☆12May 24, 2018Updated 8 years ago
- tools for assessment and categorization of research software☆19Oct 22, 2023Updated 2 years ago
- This is a minimal acyclic finite-state automata algorithm in Java based on the paper, "Incremental Construction of Minimal Acyclic Finite…☆19Dec 31, 2013Updated 12 years ago
- utility to construct PDF files from one or more image files☆22Dec 25, 2023Updated 2 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.
- a 2D static spatial grid index in JS☆13Dec 7, 2022Updated 3 years ago
- A Logo-like programming language for generating 3D models. The web client supports both blocks and text composition of programs.☆11Jan 12, 2023Updated 3 years ago
- Automatic assessment framework compatible with A-plus LMS.☆16Jul 30, 2026Updated last month
- page fault tracking tool☆22Jan 1, 2025Updated last year
- npm packages and users cross-referenced with GitHub user data, available as JSON download☆17Jul 18, 2017Updated 9 years ago
- GitHub Action to send Slack notifications.☆11Jun 13, 2026Updated 2 months ago
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 7 years ago
- Systematic Review Query Visualisation and Understanding Interface☆17Dec 5, 2025Updated 8 months ago
- Internal event tracking for Meteor apps☆14Apr 4, 2015Updated 11 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.
- Scraper built with Scrapy.☆18Jun 25, 2026Updated 2 months ago
- How to (╯°□°）╯︵TABLEFLIP☆12Mar 10, 2016Updated 10 years ago
- Please use https://github.com/exercism/exercism.io for reporting issues☆13Jul 13, 2018Updated 8 years ago
- Why we do design studio, how we do it, what we learned so far & the material we use.☆15Oct 16, 2014Updated 11 years ago
- Host manual for the Software Engineering Radio☆16Jul 29, 2017Updated 9 years ago
- eclipse-pmd has been moved to☆21Mar 29, 2020Updated 6 years ago
- Easily browse commit history on Github☆12May 3, 2016Updated 10 years ago
- PackBits encoder/decoder for Python☆20Nov 12, 2022Updated 3 years ago
- Pythy – the Cloud-Based IDE for Novice Python Programmers☆19Mar 1, 2020Updated 6 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.
- ☆14Jul 6, 2023Updated 3 years ago
- new repository for the LLMorpheus project☆17Jul 29, 2026Updated last month
- Make colorful trees out of JSON objects using archy☆26Feb 24, 2015Updated 11 years ago
- Distributed workflow progress tracker☆11Jun 12, 2019Updated 7 years ago
- Intercepts HTTP calls and allows fake implementations to take over entire domains. Used for testing.☆13Oct 20, 2015Updated 10 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- Velocity command line tool to run you tests☆11Nov 28, 2015Updated 10 years ago