otrack

cloud-computing-infrastructures

Lectures and hands-on on cloud computing infrastructures

on-epaxos-correctness

On the correctness of Egalitarian Paxos

epaxos

Based on http://efficient.github.io/epaxos (morethan5 branch)

slambda

synod

tinystm

airflow-plugin

Plugin for Apache Airflow to execute serverless tasks using the Cloudbutton toolkit

attestation-deplacement-derogatoire-q4-2020

attestation-deplacement-derogatoire-q4-2020 public

bristlecone

A set of test tools that perform useful services for measuring database and database cluster performance

cassandra

Mirror of Apache Cassandra

cassandra-docker-library

Docker Official Image packaging for Cassandra

cassandra-evaluation

cometbft

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

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

flash

Command line script to flash SD card images of any kind

gem3-mapper

GEM-Mapper v3

ignite

Apache Ignite

iot-hands-on

jnvm-tutorial

knowledge-base

CometBFT team public knowledge base. Always a work-in-progress.

lithops

CloudButton Toolkit implementation for IBM Cloud Functions and IBM Cloud Object Storage

multyHerosGame

netlib-java

:rocket: High Performance Linear Algebra (low level)

PageRank

A Python implementation of Larry's famous PageRank algorithm.

pash

PaSh: Light-touch Data-Parallel Shell Processing

pure-sh-bible

📖 A collection of pure POSIX sh alternatives to external processes.

quint

Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions

synchrobench

A benchmark to compare synchronization techniques for multicore programming

tinystmold

Official public repository for TinySTM (tmware.org)

YCSB

Yahoo! Cloud Serving Benchmark