pubkey / binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
☆31Updated last week
Related projects ⓘ
Alternatives and complementary repositories for binary-decision-diagram
- Real world text editing traces for benchmarking CRDT and Rope data structures☆42Updated 10 months ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆50Updated 5 years ago
- Commutative graphs made for real-time, offline-tolerant replication☆53Updated 5 years ago
- A universal static type checking solution for use in flow-based-programming systems☆12Updated 7 years ago
- Distributed data sync using trimerge☆10Updated 7 months ago
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆65Updated 2 years ago
- A way to build next.js apps for cloudflare workers☆14Updated 5 years ago
- A peer-to-peer data sync framework☆22Updated 4 years ago
- Fork of HAMT with transactions and custom key types☆51Updated 7 years ago
- Conflict-free Replication Data Type in TypeScript☆72Updated last year
- Fast string editing in Javascript using skip lists☆90Updated 5 years ago
- Pushable iterable☆13Updated 8 months ago
- Uniquely Dense Total Orders for List/Text CRDTs☆14Updated last year
- The fastest weighted auto-completion trie known to...☆23Updated last year
- Fast, extensible, statically typed, and light Javascript transformer 🌿☆16Updated 2 months ago
- TypeScript Serialization module☆45Updated 10 months ago
- Simple reverse mode automatic differentiation of scalar values in javascript☆16Updated 3 months ago
- Library for managing concurrent effects using generators.☆31Updated last year
- Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL☆26Updated 7 months ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- Files in Markdown.☆17Updated last month
- Local-first address book☆67Updated 3 years ago
- A parser combinator library with declarative superpowers☆27Updated 2 years ago
- TerminusDB JavaScript Client☆36Updated 3 weeks ago
- Otto: a unified approach to CRDTs and OT☆16Updated 2 years ago
- Tiny, type-safe JSON-RPC 2.0 implementation☆20Updated 11 months ago
- Use MiniZinc in the browser or with NodeJS☆31Updated last week
- Visualization of JSSM machines using viz.js☆23Updated 2 weeks ago
- An XML parser for lezer☆13Updated 6 months ago