LutrisEng / datom-rsLinks
An open-source database inspired by Datomic
☆31Updated last year
Alternatives and similar repositories for datom-rs
Users that are interested in datom-rs are comparing it to the libraries listed below
Sorting:
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- an edge database☆30Updated last year
- The Codebase UI that ships with UCM☆18Updated last month
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- The Yatima Standard Library☆20Updated last year
- FingerTree implemented in rust☆25Updated last year
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 4 years ago
- a password manager for hermits☆30Updated 7 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- ☆70Updated 3 years ago
- self adjusting computations in rust☆136Updated 4 years ago
- Some CRDT implementations in Datalog☆16Updated 7 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- An interactive Datalog☆55Updated last week
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- Build UI declaratively with Datalog.☆137Updated 2 years ago
- A TypeScript API client to XTDB☆12Updated 3 years ago
- ☆35Updated 6 years ago
- psql plugin for Nu Shell☆21Updated 7 months ago
- Editor for Calcit programs☆31Updated 2 weeks ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- A private decentralized database replicated over Git (or any other distributed log)☆74Updated 5 years ago
- An immutable append-only database☆27Updated 3 months ago
- Dialog is an embeddable database designed for local-first software.☆93Updated last week
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 5 years ago
- The LFE Tutorial☆29Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆82Updated 3 weeks ago
- Isomorphic web frameworks solving the JavaScript Problem.☆46Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago