KO
|
EN
gitlite — search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
datalog-crdt
★ 18
Open GitHub ↗
Some CRDT implementations in Datalog
Download README (.md)
Explore Similar Repositories
BilibiliSpider
:
bilibili视频信息爬虫
pwndock
:
A pwning environment, now on docker!
reddit-pgn-to-gif
:
Converts PGN from /r/chess into gifs hosted on imgur and leaves a reddit comment
console-app-settings
:
Source code for blog post how to use appsettings in .net core console application
vue-simple-multi-select
:
autocomplete multiple select component for vue
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
datalog-crdt
?
Download (.md)
# CmRDT implementations in Datalog A collection of Commutative Replicated Data Type (CmRDT) implementations in Datalog ([Souffle](http://souffle-lang.org) syntax). So far... - Positive-Negative counter - Last-Writer-Wins register - Multi-Value register - Grow-Only set - Two-Phase set - Last-Writer-Wins set - Positive-Negative set - Two-Phase-Two-Phase graph - Add-Only-Monotonic graph - Add-Remove partial order ## Observed-Remove set So this set is tricky/pointless to implement in Datalog as the crucial bit of the algorithm is to remove only the locally observed elements (made unique with an identifier).
