Made with love by Craft Work
Developed by Rui Bogas
A cloud native CI/CD platform built for container workflow.
Py4J enables Python programs to dynamically access arbitrary Java objects
A framework for formally verifying distributed systems implementations in Coq
A novel implementation of the Raft consensus algorithm
A distributed sync package.
A library for replicating your python class between multiple servers, based on raft protocol
Gryadka is a minimalistic Paxos-based master-master replicated consistent key/value layer on top of
Cloud Native Infrastructure BackUp & RecoveRY
A lite distributed Java spider framework :-)
Distributed Programming Framework in GoLang