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 3 years ago
- A very short and simple implementation of (bottom-up) Datalog in JS☆31Mar 23, 2013Updated 12 years ago
- Displays a visualization of code sizes by file based on source map information☆26Dec 7, 2022Updated 3 years ago
- ethdebug.py is a debugger-side implementation of the EthDebug format☆15Sep 24, 2025Updated 5 months ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months 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
- A Starter Template for SWI-Prolog Projects☆10Jun 1, 2020Updated 5 years ago
- Minimal example of the gcode-rs crate with web assembly☆11Jun 24, 2020Updated 5 years ago
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 8 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 4 months ago
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 4 years ago
- Automatically add node_modules binaries to PATH☆11Aug 23, 2023Updated 2 years ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- ☆11Mar 16, 2016Updated 9 years ago
- A simple JSON parser in Objective-C☆111Oct 7, 2009Updated 16 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- Real time group editor without Operational transformation.☆11Apr 25, 2017Updated 8 years ago
- Hooks for Mithril☆10Aug 19, 2019Updated 6 years ago
- An (HTTP) API proxy server that stores and replays captured responses.☆12Feb 7, 2020Updated 6 years ago
- Example using a custom CIFilter with SpriteKit (for physics), filter consists of a CIGaussianBlur and CIColorMap (for thresholding the bl…☆14Sep 27, 2016Updated 9 years ago
- Make a GitHub Action implemented in Rust☆14Nov 20, 2025Updated 3 months ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 4 months ago
- Lightweight async functions implementation in C, using multithreading☆12Jun 17, 2025Updated 8 months 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
- Ship C library with Zig-based NIF for Elixir☆15Oct 26, 2025Updated 4 months ago
- Results and analysis of post-SIGGRAPH COVID poll 2022☆10Aug 27, 2022Updated 3 years ago
- Instructions for setting up a development environment for our meetups☆11Sep 24, 2017Updated 8 years ago
- Example/description of an Elm modification: adding support for task ports☆10Mar 4, 2017Updated 9 years ago
- 🌰Seed: A component-first CSS design system.☆10Jan 15, 2022Updated 4 years ago
- BDD testing for C++ à la RSpec☆14Apr 13, 2025Updated 10 months ago
- An audio server, programming language, and IDE for sound synthesis and algorithmic composition.☆14Feb 2, 2017Updated 9 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- ☆10Jun 27, 2019Updated 6 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
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 8 years ago
- ☆10Feb 25, 2026Updated last week