bakkot / dfa-libLinks
JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.
☆19Updated 3 years ago
Alternatives and similar repositories for dfa-lib
Users that are interested in dfa-lib are comparing it to the libraries listed below
Sorting:
- DatArchive implementation for browsers that uses dat-gateway☆29Updated 6 years ago
- An example of how you can use dat in the browser☆13Updated 6 years ago
- Load a dat webpage in a regular browser using dat-js☆20Updated 6 years ago
- Mobile app for viewing Dats. Pronounced like the famous hero's car.☆45Updated 6 years ago
- A Hyperspace service that exposes the current hyperdrive-daemon FUSE functionality.☆21Updated 5 years ago
- a flexible and distributed system for deriving, and interacting with, computational trust☆140Updated 3 years ago
- CLI for publishing a new change to your hyperdrive and syncing it with remote peers☆19Updated 3 years ago
- Generate a QR code to initiate a SEPA bank transfer.☆37Updated last year
- Create a stdin/stdout pipe easily over wifi or internet.☆80Updated 6 years ago
- Share a hyperdrive with others. A multiwriter hyperdrive implementation☆34Updated 5 years ago
- Visualization of Kademlia DHT algorithm☆25Updated 3 years ago
- warning! you should probably still use the regular dat cli ---->☆27Updated 7 years ago
- Signalhub implementation with websockets☆41Updated 3 years ago
- Encrypt messages that only members from a set of hypercores can decrypt.☆16Updated 6 years ago
- API for running cryptographically auditable VM services.☆20Updated 8 years ago
- Just some code that records your screen to a dat☆12Updated 7 years ago
- Chess moves travelling through WebRTC☆10Updated 9 months ago
- p2p git repo primitive☆14Updated 7 years ago
- share hard-to-transmit snippets with easy-to-pronounce names using dht magic☆37Updated 3 years ago
- Host untrusted bots for cabal☆20Updated 7 years ago
- Low level implementation of the k-rpc network layer that the BitTorrent DHT uses☆25Updated 3 years ago
- p2p anarchist real-time communication protocol using append-only logs☆21Updated 7 years ago
- Add support for the DatArchive API to the web☆16Updated 7 years ago
- A deep dive into how authorization works in hyperdb.☆51Updated 5 years ago
- ☆68Updated 3 years ago
- A Hypertrie wrapper that supports mounting of other Hypertries☆25Updated 5 years ago
- Distributed container registry built on hypercores and IPFS☆25Updated 4 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆281Updated 4 years ago
- hypercore-protocol extension to authenticate peers☆21Updated 6 years ago
- discovery-swarm with two-way replication consent☆18Updated 7 years ago