✨ Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll

Create Plots and Charts with CeTZ

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Implementation of BFT consensus protocols based on the Narwhal mempool.

A benchmark to compare synchronization techniques for multicore programming

Lectures and hands-on on cloud computing infrastructures

RSS reader for macOS and iOS.

LazyLog: A New Shared Log Abstraction for Low-Latency Applications

Clipboard optimizer for macOS

The labs of Raft consensus algorithm based on MadSim.

Magical Deterministic Simulator for distributed systems in Rust.

A fast linearizability checker written in Go 🔎

Repository for the ITMO CSE Distributed Systems course.

Rust node framework for building distributed systems for learning for https://github.com/jepsen-io/maelstrom / fly.io

Verifies the linearizability of experimentally accessible histories.

Lewis Baker's Blog

PirateShip Consensus protocol Rust Prototype.

YTsaurus is a scalable and fault-tolerant open-source big data platform.

An RPC framework for Rust with a focus on ease of use.

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Reference node for CASPER protocol

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.

Erlang/OTP

pmwcas

A calligraphic esolang

Arnold Schwarzenegger based programming language

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

The Parity Polkadot Blockchain SDK