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:
- A relationship-based digital identity system.☆37Updated 4 years ago
- Computer Algebra System written in JavaScript.☆130Updated 11 years ago
- Create a stdin/stdout pipe easily over wifi or internet.☆80Updated 6 years ago
- A list of Hanabi strategies☆178Updated this week
- A development server for webxdc apps☆31Updated 2 months ago
- Hierarchical deterministic key pairs for use in Keet identity system☆22Updated 6 months ago
- Simply tool that proxies http-server over Hyperswarm☆27Updated 4 years ago
- tiny chat-like cli built on scuttlebutt☆79Updated 3 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Updated 8 years ago
- Sample project with a simple implementation of the webxdc read and write APIs☆35Updated last year
- A peer-to-peer collaborative text editor for people and their communities.☆209Updated 8 years ago
- A CLI to co-host websites published to IPFS☆27Updated 9 months ago
- share hard-to-transmit snippets with easy-to-pronounce names using dht magic☆37Updated 3 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Updated 2 months ago
- Mobile app for viewing Dats. Pronounced like the famous hero's car.☆45Updated 6 years ago
- CRATE is a real-time distributed CollaboRATive Editor☆101Updated 7 years ago
- Exploration of Hypercore's breakthrough designs and capabilities, uncovering its gems that may be scattered elsewhere, and learning to th…☆14Updated 5 years ago
- A server to find and connect to other SSB peers – a meeting place. AGPL-3.0☆112Updated 4 years ago
- A repository for tracking Network Steward proposals and projects☆18Updated last year
- Monorepo for Agora Citizen Network☆35Updated this week
- A (hopefully) unbiased timeline of events related to accusations against Jacob Appelbaum☆20Updated 8 years ago
- A collection of protocol specifications for Secure Scuttlebutt☆15Updated 5 years ago
- ☆19Updated 2 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆202Updated last week
- [ARCHIVED] [DEPRECATED] logging the development of an interplanetary filesystem☆33Updated 5 years ago
- A naïve ant colony simulation. Only useful as a pretty simulation, not sophisticated enough for real ant colony optimisation or anything …☆14Updated 14 years ago
- User-Controlled Authorization Network (UCAN) tokens in go☆39Updated last month
- DatArchive implementation for browsers that uses dat-gateway☆29Updated 6 years ago
- Friendly command-line interface for Secure Scuttlebutt.☆26Updated 3 years ago
- An example of how you can use dat in the browser☆13Updated 6 years ago