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:
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 8 years ago
- Identify terminological ambiguity and incompleteness in user stories☆11Dec 16, 2020Updated 5 years ago
- Kanboard PlugIn to display subtasks of a task on the task cards on a board☆11Mar 29, 2023Updated 3 years ago
- Check if an object is empty.☆11May 24, 2018Updated 8 years ago
- utility to construct PDF files from one or more image files☆22Dec 25, 2023Updated 2 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.
- 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
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jun 5, 2026Updated 2 months ago
- Automatic assessment framework compatible with A-plus LMS.☆16Jul 30, 2026Updated last week
- Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.☆14Aug 3, 2026Updated last week
- ☆16Jul 22, 2026Updated 2 weeks ago
- 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 last month
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 7 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 tiny UI for daily weather forcasts ⛈☆13Jan 7, 2023Updated 3 years ago
- Internal event tracking for Meteor apps☆14Apr 4, 2015Updated 11 years ago
- Script que verifica se os arquivos .bib estão seguindo as regras das referências conforme o template LaTeX do PPGCC/PUCRS.☆17Oct 18, 2021Updated 4 years ago
- Host manual for the Software Engineering Radio☆16Jul 29, 2017Updated 9 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
- new repository for the LLMorpheus project☆17Jul 29, 2026Updated last week
- Meteor package to rate-limit a function by queuing up calls (instead of dropping them like throttle or debounce)☆15Oct 29, 2014Updated 11 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.
- Fix edges☆21Jul 22, 2026Updated 2 weeks 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
- Example project for React Loadable☆12Apr 19, 2017Updated 9 years ago
- Velocity command line tool to run you tests☆11Nov 28, 2015Updated 10 years ago
- Swift library and CLI for generating an application bundle for an executable and running it in the iOS simulator.☆15Sep 14, 2016Updated 9 years ago
- moocRP: an open-source learning analytics Research Platform☆15Mar 11, 2016Updated 10 years ago
- ☆18May 20, 2022Updated 4 years ago
- Draw web page's DOM to svg file via Node,js and d3.js☆15Oct 26, 2014Updated 11 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.
- Learn how to write a package for Meteor.☆11Feb 15, 2017Updated 9 years ago
- Demo project with AngelList data☆15May 22, 2014Updated 12 years ago
- ☆13Sep 16, 2016Updated 9 years ago
- Fractal drawing in Swift☆12Aug 6, 2015Updated 11 years ago
- QR code printer for your terminal☆10May 23, 2021Updated 5 years ago
- A logger package for Meteor that logs to Loggly (or local).☆14Jul 8, 2015Updated 11 years ago
- Pythonista scripts for cleaning the status bar in iOS screenshots☆16Aug 30, 2014Updated 11 years ago