⟁ Tendermint Core (BFT Consensus) in Go
#
consistency
Repositories 67
distributed_computing include mapreduce kvstore etc.
Go
Updated Jun 26, 2017
Source code analyzer that helps you to make your Go programs more consistent.
Go
Updated Feb 7, 2019
Compare eventual consistency of object stores
Java
Updated Dec 3, 2018
The tool to find inconsistency between models schema and database constraints.
Ruby
Updated Jan 30, 2019
distributed transaction service based on reliable msg,基于可靠消息的柔性分布式事务实现方案。
Java
Updated Nov 13, 2018
A high-performance distributed shared-log
C++
Updated Feb 6, 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 Mar 14, 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 Dec 30, 2018
django-transactions-tutorial 基本教學 - 了解 transactions 概念 📝
Python
Updated Mar 27, 2018
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
Erlang
Updated Jun 9, 2016
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
Robust and strongly consistent hybrid cloud storage library
C
Updated Nov 24, 2016
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
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
Parallel Byzantine Fault Tolerance (R&D)
Scala
Updated Dec 14, 2017
Tool that checks that PureScript imports and Bower dependencies are in sync.
Python
Updated Feb 20, 2017
Check data integrity for your ActiveRecord models
ruby
rails
activerecord
activerecord-models
dataintegrity
consistency
foreign-keys
constraints
notnull
Ruby
Updated Nov 21, 2018
Practical consistency verification tool
Scala
Updated Oct 20, 2017
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
SOA(rpc)环境下柔性事务框架
Java
Updated Dec 20, 2017
CSS components, utilities, their foundation, and corresponding structural and build methodology
Updated Jun 6, 2017
The Arctic Ice Studio Markdown Code Style.
styleguide
markdown
md
codestyle
conventions
consistency
standard
remark
remark-lint
preset
gfm
commonmark
arcticicestudio
CSS
Updated Nov 16, 2018