Formal Reasoning About Programs

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Curated list of project-based tutorials

Test bench for the evaluation of hierarchical locking

A list of established remote companies

Header-only TOML config file parser and serializer for C++17.

DAGGEN: A synthethic task graph generator

A curated list to learn about distributed systems

Exercises and code from "Haskell Programming from First Principles"

Docker Images, installation scripts, and testing & benchmarking suite for Graph Databases

A collection of TLA⁺ specifications of varying complexities.

Implementations of the LDBC Social Network Benchmark

An Erlang implementation of RAFT from WhatsApp

A tool aims to design and perform experiments on different cloud systems 🌨️ ⛅ 🌩️ 🌧️ 🌤️

Verifies the specification of distributed applications that work on an eventually consistent datastore propagating states.

Javascript taught Music Theory

Get BEM to all people in simplest way

freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

A fun tool that attempts to find product keys for commercial softwares

Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).