madgen / datalog-crdtView external linksLinks
Some CRDT implementations in Datalog
☆18Jul 20, 2018Updated 7 years ago
Alternatives and similar repositories for datalog-crdt
Users that are interested in datalog-crdt are comparing it to the libraries listed below
Sorting:
- CRDT distributed text editor written in elm using maca/crdt-distributed-tree☆19Jan 6, 2021Updated 5 years ago
- Conflict-free replicated relational database that respects commonly used integrity constraints☆29Feb 28, 2023Updated 2 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Mar 23, 2013Updated 12 years ago
- A relationship-based digital identity system.☆37Sep 23, 2021Updated 4 years ago
- ☆26Dec 8, 2022Updated 3 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- WIP: Chronofold data structure in Purescript☆10Jun 24, 2021Updated 4 years ago
- A toolkit for using rust with clojurescript☆12Dec 23, 2018Updated 7 years ago
- My attempt to write a sandboxing library for clojure to allow secure execution of untrusted code☆41Apr 2, 2011Updated 14 years ago
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 8 years ago
- Instructions for setting up a development environment for our meetups☆11Sep 24, 2017Updated 8 years ago
- Webmachine implementation of an OAuth2 server☆19Jun 3, 2015Updated 10 years ago
- Example/description of an Elm modification: adding support for task ports☆10Mar 4, 2017Updated 8 years ago
- Minimal example of the gcode-rs crate with web assembly☆11Jun 24, 2020Updated 5 years ago
- Real time group editor without Operational transformation.☆11Apr 25, 2017Updated 8 years ago
- ☆10Jun 27, 2019Updated 6 years ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- PolyLove is a "dating" app to help EPFL and UNIL students meet! Our spirit is quality over quantity: once a day, the app matches two stud…☆10Feb 3, 2021Updated 5 years ago
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 8 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- A simple JSON parser in Objective-C☆111Oct 7, 2009Updated 16 years ago
- This is the NoSql database used by CrossLine and other tools by Rochus☆10Mar 21, 2025Updated 10 months ago
- Recursive Language Model patterns for Claude Code — handle massive contexts (10M+ tokens) by treating them as external variables☆32Jan 26, 2026Updated 2 weeks ago
- ☆11Mar 16, 2016Updated 9 years ago
- Make a GitHub Action implemented in Rust☆14Nov 20, 2025Updated 2 months ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- A class to create a routing graph for positions in 3D coordinate space☆12Apr 13, 2020Updated 5 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- BDD testing for C++ à la RSpec☆14Apr 13, 2025Updated 10 months ago
- Ma dotfiles <3☆10Dec 30, 2025Updated last month
- An (HTTP) API proxy server that stores and replays captured responses.☆12Feb 7, 2020Updated 6 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- An audio server, programming language, and IDE for sound synthesis and algorithmic composition.☆14Feb 2, 2017Updated 9 years ago
- Lightweight async functions implementation in C, using multithreading☆12Jun 17, 2025Updated 7 months ago
- A data science notebook for Rust☆44May 8, 2021Updated 4 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- Automatically add node_modules binaries to PATH☆11Aug 23, 2023Updated 2 years ago
- Hooks for Mithril☆10Aug 19, 2019Updated 6 years ago