⟁ Tendermint Core (BFT Consensus) in Go
#
consistency
Repositories 70
distributed_computing include mapreduce kvstore etc.
Go
Updated Jun 26, 2017
Source code analyzer that helps you to make your Go programs more consistent.
Compare eventual consistency of object stores
Java
Updated Dec 3, 2018
The tool to find inconsistency between models schema and database constraints.
Ruby
Updated Apr 18, 2019
distributed transaction service based on reliable msg,基于可靠消息的柔性分布式事务实现方案。
Java
Updated Nov 13, 2018
A high-performance distributed shared-log
C++
Updated Apr 24, 2019
PowerShell scripts to ensure consistent and reliable build quality and configuration for your servers
qa
checks
powershell
qa-checks
ps1
configuration
verify
service-acceptance
gold-image
compliance
automation
winrm
quality
powershell-qa-scripts
consistency
reliability
reliable
PowerShell
Updated Jun 18, 2018
The Hoa\Consistency library.
PHP
Updated Aug 20, 2018
Enforce git message commit consistency
Go
Updated Apr 19, 2019
Distributed KV database with causality tracking
Rust
Updated Oct 21, 2018
A distributed IMAP server based on Conflict-free Replicated Data Types.
Go
Updated Mar 30, 2018
Reliable distributed agreement service for the cloud
This extension for WordPress polyglots implements new features to improve the quality of translation/reviews!
Source code analyzer that helps you to maintain variable/field naming conventions inside your project.
Go
Updated Apr 10, 2019
django-transactions-tutorial 基本教學 - 了解 transactions 概念 📝
Python
Updated Mar 27, 2018
pviotti / conver-old Archived
18
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
Erlang
Updated Jun 9, 2016
Elixir
Updated Apr 26, 2019
A causal-consistent debugger for Erlang
debugging
causality
concurrent-programming
erlang
core-erlang
wxwidgets
consistency
causal-consistency
reversible
reversible-computation
Erlang
Updated Oct 8, 2018
Have you no decency, CSS? Decent is a flexible and functional CSS library for building literally anything.
CSS
Updated Nov 1, 2017
pviotti / hybris Archived
11
Robust and strongly consistent hybrid cloud storage library
C
Updated Nov 24, 2016
A parser of relational predicate logic & truth tree solver, written in Rust.
logic
rust
parser
formulas
relational
predicate
first
order
first-order
truth-tree
consistency
formal-validity
validity
contingency
contradiction
tautology
pest
wasm
Rust
Updated Feb 20, 2019
Creative and educational project for distributed system
distributed-systems
golang
twophasecommit
keyvaluestore
http
paxos
transaction
education
graduate-course
consensus
consistency
Go
Updated Jul 31, 2018
Algorithms for implementation of Clock Synchronization, Consistency, Mutual Exclusion, Leader Election
distributed-systems
distributed-computing
cloud-computing
clock-synchronization
leader-election
distributed-mutual-exclusion
consistency
vector-clocks
chandy--lamport-snapshot-algorithm
token-management
bully-algorithm
java
Java
Updated Sep 29, 2017
SKALE Consensus (BFT) in C++
C++
Updated Apr 30, 2019
Parallel Byzantine Fault Tolerance (R&D)
Scala
Updated Dec 14, 2017
Check data integrity for your ActiveRecord models
ruby
rails
activerecord
activerecord-models
dataintegrity
consistency
foreign-keys
constraints
notnull
Ruby
Updated Nov 21, 2018
Tool that checks that PureScript imports and Bower dependencies are in sync.
Python
Updated Feb 20, 2017
Practical consistency verification tool
Scala
Updated Oct 20, 2017
Ensure Emacs' font consistency across different OSs.
Emacs Lisp
Updated Mar 4, 2019