insumity

karolos's repositories

ACM-Lab

Solutions for ACM Lab: http://www.cadmo.ethz.ch/education/lectures/HS14/ACM_Lab

Language:C++020

ASCYLIB

ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists, binary search trees, queues, and stacks.

Language:CGPL-2.0020

captainahab

Injects network partitions in a cluster of servers.

Language:Java020

captainahabrunner

Testing the consistency guarantees of ZooKeeper.

Language:Java020

cometbft

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

Language:GoApache-2.0000

design_patterns

Design patterns exercises for Software Engineering '17.

Language:Java010

epaxos

Language:GoNOASSERTION010

exercises-dp2

Design patterns - Exercise Set 2

Language:Java010

iloot

OpenSource tool for iCloud backup extraction

Language:Python020

linux-insides

A little bit about a linux kernel

020

redis-sentinel-notify

redis sentinel reconfig script for http and zk

Language:Shell010

tactile

Tactile is a Jekyll theme for GitHub Pages

Language:CSSCC0-1.0010

xv6-public

xv6 OS

Language:CNOASSERTION020

zookeeper

Mirror of Apache Hadoop ZooKeeper

Language:JavaApache-2.0010

zookeeper_debug_tool

Script based on docker for debugging ZooKeeper.

Language:Shell020