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:
- Persist Elm data structures to IndexedDB using ports and LocalForage.☆10Nov 20, 2016Updated 9 years ago
- Elli Websocket Handler☆20May 7, 2019Updated 7 years ago
- A list of resources for the tech industry in western Massachusetts☆18Oct 20, 2019Updated 6 years ago
- Extremely low-level wrapper to the MediaWiki API☆27Mar 15, 2017Updated 9 years ago
- A PosgreSQL client that automatically uses connection pools and handles reconnections in case of errors.☆42Dec 6, 2020Updated 5 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.
- GitHub Action to send Slack notifications.☆11Jun 13, 2026Updated 3 months ago
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 7 years ago
- Internal event tracking for Meteor apps☆14Apr 4, 2015Updated 11 years ago
- How to (╯°□°）╯︵TABLEFLIP☆12Mar 10, 2016Updated 10 years ago
- Scraper built with Scrapy.☆18Jun 25, 2026Updated 2 months 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
- Easily browse commit history on Github☆12May 3, 2016Updated 10 years ago
- PackBits encoder/decoder for Python☆20Nov 12, 2022Updated 3 years ago
- Make colorful trees out of JSON objects using archy☆26Feb 24, 2015Updated 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.
- 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
- Skeleton repo for setting up flask + travis-ci + unittests + db migrations with Google App Engine!☆11May 12, 2015Updated 11 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
- The design files for CocoaPods☆13Aug 7, 2017Updated 9 years ago
- Learn how to write a package for Meteor.☆11Feb 15, 2017Updated 9 years ago
- ☆13Sep 16, 2016Updated 10 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.
- QR code printer for your terminal☆10May 23, 2021Updated 5 years ago
- 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
- Extensions to the built-in check package☆10Sep 20, 2019Updated 7 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
- Efficient and accurate FPS meter, with minimalistic UI☆17Jun 14, 2022Updated 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 3 years ago
- Scripts to push custom metrics to AWS cloudwatch, and create alarms on them☆12Sep 4, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Content for my blog☆16Updated this week
- Please use the new vis-js libs: https://github.com/visjs!☆15Jun 28, 2020Updated 6 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
- Phoenix + Elm application for browsing colors☆10Apr 27, 2016Updated 10 years ago