Displaying 1 to 17 from 17 results

Tendermint - Tendermint Core (BFT Consensus) in Go

  •    Go

Tendermint Core is Byzantine Fault Tolerant (BFT) middleware that takes a state transition machine - written in any programming language - and securely replicates it on many machines.

level-object - Store objects in leveldb.

  •    Javascript

Store objects in leveldb.It's recommended to use level-pathwise instead since it's a lot more flexible and the api isn't more complicated. store.set('userid', 'name', 'fritz') becomes store.put(['userid', 'name'], 'fritz').

ios - Reliable distributed agreement service for the cloud

  •    Go

Welcome to Ios, a reliable distributed agreement service for cloud applications. Built upon a novel decentralised consensus protocol, Ios provides vital services for your cloud application such as distributed locking, consistent data structures and leader election as well as distributed configuration and coordination.This repository is pre-alpha and under active development. APIs will be broken. This code has not been proven correct and is not ready for production deployment.

GlotDict - This extension for WordPress polyglots implements new features to improve the quality of translation/reviews!

  •    Javascript

PS: If you are using NoScript or Privacy Badger enable the domain wordpress.org else the extension will not work!. When the developer of the extension think that a new release is ready and tested they create a new release and publish on Firefox and Chrome addons store. After that step we have to wait few hours for Chrome and for Firefox and all the installations will be updated automatically.

Consistency - The Hoa\Consistency library.

  •    PHP

Hoa is a modular, extensible and structured set of PHP libraries. Moreover, Hoa aims at being a bridge between industrial and research worlds. This library provides a thin layer between PHP VMs and libraries to ensure consistency accross VM versions and library versions.

conver-old - [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models

  •    Erlang

Conver verifies implementations of the most common non-transactional consistency models. It spawns client processes that perform concurrent reads and writes on the distributed store, and records their outcomes. After the execution, it builds graph entities that express ordering and mutual visibility of operations. Finally, it uses such graph entities to check consistency semantics defined as first-order logic predicates. The approach implemented in Conver has been described in this PaPoC 2016 paper.

sucredb - Distributed KV database with causality tracking

  •    Rust

Sucredb is a multi-master key-value distributed database, it provides a dynamo style tunable consistent and causality tracking. Any node that owns a partition (replicas) can serve both reads and writes. The database tracks causality using vector-clocks and will NOT drop any conflicting writes unlike LWW (last write wins) and other strategies. Conflicts can and do happen due to races between clients and network partitions.

cauder - A causal-consistent debugger for Erlang

  •    Erlang

This project uses wx, the Erlang binding of wxWidgets. Thus, you must have built Erlang/OTP with wxWidgets. An astonishing graphical interface will appear in your screen.

QA-Checks-v4 - PowerShell scripts to ensure consistent and reliable build quality and configuration for your servers

  •    PowerShell

PowerShell scripts to ensure consistent and reliable build quality and configuration for your servers. The QA checks came about as a need to verify the build of new servers for various customers and their different environments. All new server builds are usually done with a custom gold image template; however this image still lacks many of the additional tools and configuration settings needed before it can be accepted into support.

go-consistent - Source code analyzer that helps you to make your Go programs more consistent.

  •    Go

Source code analyzer that helps you to make your Go programs more consistent. You can also use std, ./... and other conventional targets that are normally understood by Go tools.

go-namecheck - Source code analyzer that helps you to maintain variable/field naming conventions inside your project

  •    Go

Source code analyzer that helps you to maintain variable/field naming conventions inside your project. In big teams, same things end up being called differently eventually. Sometimes you bring inconsistencies on your own. Suppose it's considered idiomatic to call string parameter s if you can't figure a more descriptive name, but sometimes you see str names used by other programmers from your team. This is where go-namecheck can help.

pluto - A distributed IMAP server based on Conflict-free Replicated Data Types.

  •    Go

Pluto is a distributed IMAP server that implements a subset of the IMAPv4 standard. It makes use of Conflict-free Replicated Data Types (operation-based style) defined by Shapiro et al. to replicate application state into traditionally stateless tiers (worker nodes) and still achieve system-wide convergence of user data. By this, pluto attempts to offer a solution towards the challenges arising from Brewer's CAP theorem: in case of failures in the system, choose to stay available by accepting reduced consistency in form of the CRDTs' strong eventual consistency. We described an early version of our system architecture, the modeled IMAP operations based on OR-Set CmRDTs, and a response time evaluation of this prototype compared to Dovecot in our paper called "pluto: The CRDT-Driven IMAP Server", presented at PaPoC 2017. More recently, we completely overhauled large parts of pluto's internals and put the underlying CRDT on a more solid basis by constructing and proving an IMAP CmRDT. We reported our work and pluto's advantage over a comparable Dovecot setup in our paper "Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types", presented at OPODIS 2017 in Lisbon, Portugal.

gommit - Enforce git message commit consistency

  •    Go

Gommit analyze commits messages to ensure they follow defined pattern. You can define as many matchers you want using regexp, naming is up to you, they will all be compared against a commit message till one match. Regexps used support comments, possessive match, positive lookahead, negative lookahead, positive lookbehind, negative lookbehind, back reference, named back referenc and conditionals.

borsh - Binary Object Representation Serializer for Hashing

  •    Rust

Opting out from Serde allows borsh to have some features that currently are not available for serde-compatible serializers. Currently we support two features: borsh_init and borsh_skip (the former one not available in Serde). borsh_skip allows to skip serializing/deserializing fields, assuming they implement Default trait, similary to #[serde(skip)].

We have large collection of open source products. Follow the tags from Tag Cloud >>

Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.