chlin501 Goto Github PK

move-literals

An example of PEG usage

multi-paxos-example

Example multi-paxos application for those learning Paxos & multi-paxos

nacl4s

Scala implementation of Networking and Cryptography (NaCl) library

naivechain

A blockchain implementation in 200 lines of code

nexus

Blue Brain Nexus - A knowledge graph for data-driven science

nix-sample

observingstrategy

A community white paper about LSST observing strategy, with quantifications via the the Metric Analysis Framework.

ocaps

Object capability (ocap) tools and macros for Scala.

opensc2k

OpenSC2K - An Open Source remake of Sim City 2000 by Maxis

openwar

The real-time tactical war-game platform.

orchid

os01

Bootstrap yourself to write an OS from scratch. A book for self-learner.

p2p-scala

paxi

Paxos protocol framework

paxosmmc

Paxos Made Moderately Complex

peer

A peer-to-peer networking toolkit for Clojure.

peer-tweet

Decentralized feeds using BitTorrent's DHT. Idea from Arvid and The_8472 "DHT RSS feeds" http://libtorrent.org/dht_rss.html

peerbase

http://cs.berry.edu/~nhamid/p2p

peersim_in_sf

peertube

Federated (ActivityPub) video streaming platform using P2P (BitTorrent) directly in the web browser with WebTorrent and Angular.

phi

pilosa

Pilosa is an open source, distributed bitmap index that dramatically accelerates queries across multiple, massive data sets.

pistache

Pistache is a pi-Calculus internal DSL for Scala. It enables developers to write concurrent applications using a pi-Calculus-ish notation.

plover

Open source stenotype engine

pluscal-examples

Pluscal/TLA+ modeling of distributed systems/protocols

podman

Podman: A tool for managing OCI containers and pods.

preemptive-kernel-in-win-thread

Proof of concept for truly simulating preemptive kernels in a single Windows thread

protocol

This repo contains the Spacemesh protocol specifications and related documentation

psrs

A Demo for Parallel Sorting By Regular Sampling

py-ipv8

Python implementation of the IPv8 layer