JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.
☆19May 30, 2022Updated 4 years ago
Alternatives and similar repositories for dfa-lib
Users that are interested in dfa-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quack at your docs☆14Aug 26, 2015Updated 11 years ago
- Yaml for Lubyk.☆19May 11, 2015Updated 11 years ago
- Watch "A New Hope" in your terminal☆12May 4, 2019Updated 7 years ago
- Distributed Ledger for the people ✊☆13Nov 24, 2019Updated 6 years ago
- A simple static blog generator support both reStructuredText and Markdown markup☆15May 17, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated 2 years ago
- Host, backup, and share hyperdrive archives☆13Aug 22, 2017Updated 9 years ago
- Server side for tty-share.com. Replaced now by https://github.com/elisescu/tty-proxy☆22Mar 31, 2021Updated 5 years ago
- Python library to implement a well-behaved Unix daemon process.☆16Dec 31, 2016Updated 9 years ago
- namedmutex.py, a simple ctypes wrapper for Win32 named mutexes☆16Aug 24, 2022Updated 4 years ago
- Simple, light and correct LevelDB live read stream implementation☆13Feb 26, 2020Updated 6 years ago
- Generate secure, random doubles that are unbiased and equidistant☆13Apr 5, 2022Updated 4 years ago
- CLI tool that counts how many lines per second is written to it☆18Jul 31, 2019Updated 7 years ago
- Create a levelDB instance on your local machine☆12Nov 15, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Sometimes all you need is a single file.☆15Sep 29, 2020Updated 5 years ago
- Password encrypted overlay to Random Access modules☆16Apr 5, 2022Updated 4 years ago
- Transactional, replicable document store for Node.js and browsers. Built on LevelDB.☆10Aug 18, 2015Updated 11 years ago
- Print and parse code coverage with tape tests☆12May 25, 2020Updated 6 years ago
- emoji-index☆16Jul 23, 2026Updated last month
- Sheetify plugin to unwrap nested rules☆11Dec 14, 2016Updated 9 years ago
- 🐶 Soothing pastel theme for Kagi☆11May 31, 2023Updated 3 years ago
- Music library server with support for playlists, crates and a web/mobile frontend☆10Jul 8, 2023Updated 3 years ago
- Getting the best of two p2p worlds☆10Feb 17, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- http wrapper for controlling The Internet of Buckets art installation☆11Aug 25, 2016Updated 10 years ago
- got stuff from there and there to use with cython, trying to get something nice and complete :)☆23May 28, 2019Updated 7 years ago
- API wrapper for the netcup DNS API☆16Mar 16, 2023Updated 3 years ago
- Run some functions at specific times each day☆16May 26, 2020Updated 6 years ago
- Algorithms for producing avatar images which uniquely (and memorably) represent pubkeys☆11Nov 4, 2015Updated 10 years ago
- a vehicle for cypherspace travel☆10Sep 12, 2016Updated 9 years ago
- Repository for labs☆14Sep 5, 2025Updated last year
- Minimal CLI to mirror hyperdrives in memory + webrtc☆12Feb 17, 2019Updated 7 years ago
- Emits events on system wakeup or network status changes.☆16Feb 13, 2020Updated 6 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.
- Chess moves travelling through WebRTC☆10Apr 22, 2025Updated last year
- Hypergate is a zero-configuration, peer-to-peer encrypted tunnel that enables easy communication between Docker containers and/or physica…☆13May 11, 2026Updated 3 months ago
- simple dat downloading module☆10Jan 11, 2023Updated 3 years ago
- A simple markdown component for choo-js☆14Jan 19, 2017Updated 9 years ago
- ☆10Nov 5, 2018Updated 7 years ago
- A personal document with reports, analysis, and plotting of personal analytics data using R.☆13Jul 28, 2016Updated 10 years ago
- Lightweight widget collection for awesomeWM☆19Mar 31, 2026Updated 5 months ago