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:
- 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 3 months ago
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 7 years ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Why we do design studio, how we do it, what we learned so far & the material we use.☆15Oct 16, 2014Updated 11 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
- 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
- Distributed workflow progress tracker☆11Jun 12, 2019Updated 7 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 10 years ago
- A smart and lossless data compression algorithm with a focus on repeating data structures like JSON/JSONH, network and language permeabil…☆12Jan 11, 2012Updated 14 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The design files for CocoaPods☆13Aug 7, 2017Updated 9 years ago
- Draw web page's DOM to svg file via Node,js and d3.js☆15Oct 26, 2014Updated 11 years ago
- 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 10 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
- A passive network discovery tool that finds live network nodes by analyzing ARP and broadcast packets.☆14Dec 11, 2012Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Pythonista scripts for cleaning the status bar in iOS screenshots☆16Aug 30, 2014Updated 12 years ago
- Tools for communicating with runit / daemontools supervisors. Based on ajdiaz's https://gist.github.com/607678☆16Jul 7, 2016Updated 10 years ago
- Helper command for debugging running Python processes.☆13Mar 4, 2015Updated 11 years ago
- A plugin for the svg.js library to enable text morphing / animation☆18Aug 25, 2018Updated 8 years ago
- My personal page.☆11Jun 21, 2017Updated 9 years ago
- The main repository for information on Call for Code® for Racial Justice projects, hosted by The Linux Foundation.☆12Dec 27, 2021Updated 4 years ago
- PixelBlock - Chrome Extension for Gmail that blocks email open trackers☆15Nov 20, 2015Updated 10 years ago
- A place to document various design decisions for public reference☆11Sep 28, 2022Updated 4 years ago
- Please use the new vis-js libs: https://github.com/visjs!☆15Jun 28, 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.
- A meteor package to grab system stats (cpu, memory, load, versions, hostname) from the server.☆16Aug 29, 2014Updated 12 years ago
- ProgressBar for Python, based on Arch progressbar, with "ILoveCandy"☆13Dec 15, 2023Updated 2 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- The OCRopus OCR System☆11Dec 17, 2014Updated 11 years ago
- Booking Bot☆10Dec 8, 2022Updated 3 years ago
- A fleet of Memorious scrapers for crawling various open data sources☆15Sep 24, 2020Updated 6 years ago
- A scientific way of creating music playlists☆10Aug 6, 2016Updated 10 years ago