bakkot / dfa-lib
JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.
☆19Updated 2 years ago
Alternatives and similar repositories for dfa-lib:
Users that are interested in dfa-lib are comparing it to the libraries listed below
- ☆13Updated 4 years ago
- Effective Multi-threading in Befunge!☆46Updated 6 years ago
- WebAssembly AST specification☆9Updated 8 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆17Updated 3 weeks ago
- JSON/CBOR style format as a compressor☆25Updated 4 years ago
- Proof of Assets (PoA) is a scheme designed to let entitites (operators) prove that they control a given amount of Bitcoin or other blockc…☆26Updated 9 years ago
- Derive Curve25519 encryption keys and ed25519 signing keys from username and password via BLAKE2s hash and scrypt.☆20Updated 8 years ago
- Morton order page index for multidimensional arrays☆12Updated 11 years ago
- [DEPRECATED]☆20Updated last year
- WebSocketFS: it's like sshfs, but over a WebSocket and implemented in Typescript☆14Updated 3 months ago
- A tool for analyzing and transforming context-free grammars.☆211Updated 2 months ago
- An abstract-blob-store compatible implementation built using IPFS as the storage backend☆56Updated 5 years ago
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Updated 8 years ago
- Interplanetary Git Service☆70Updated 6 months ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- like http.createServer(), but for onions.☆11Updated 9 years ago
- WebAssembly AST parser☆18Updated 6 years ago
- Pure Rust Implementation of secp256k1.☆12Updated 6 years ago
- [DEPRECATED] Use ipfs-message-port-server/client instead:☆24Updated 3 years ago
- A port of the GNU Multiple-Precision Library (GMP), a library for arbitrary precision arithmetic, to JavaScript using Emscripten☆45Updated 11 years ago
- crdts on ipfs☆12Updated 9 years ago
- Cryptographically secure Mental Card Deck implementation☆14Updated 7 years ago
- dependency visualizer for the web☆49Updated 7 years ago
- A highly-experimental, likely-pretty-slow polyfill for WebAssembly☆32Updated 6 years ago
- Go implementation of rendezvous protocol☆12Updated last year
- Bounties put fourth by the Augur team for Ethereum/Solidity tooling.☆8Updated 6 years ago
- Merkle root algorithms in various languages☆41Updated 4 years ago
- Libp2p dissector for wireshark v2.5 (WIP)☆17Updated 6 years ago
- a secure channel for go-libp2p based on the Noise protocol framework☆33Updated 2 years ago
- XTP - eXternal Transports Protocol☆33Updated last year