A collection of high-performance crypto implementations.

This repository contains the WhatsApp proxy implementation for users to host their own proxy infrastructure to connect to WhatsApp for chat (VoIP is not currently supported)

Rust actor framework

Rust Read-Evaluate-Print-Loop utility crate

A type-checker for Erlang

Code Verify is an open source web browser extension that confirms that your Facebook, Messenger, Instagram, and WhatsApp Web code hasn’t been tampered with or altered, and that the Web experience y…

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

An Erlang implementation of RAFT from WhatsApp

An implementation of an auditable key directory

Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.

GSOC 2021

An erlang app for building discord bots

Powerful yet simple to use screenshot software 🖥️ 📸

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

📖 Heuristics for effective management

Printing platform for School of Computing, National University of Singapore 🖨

The DuckDNS DDNS Server Code

POSIX™-compliant, zero-dependency shell script to print in NUS SoC

database systems implementation

Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows

control minecraft servers through discord bot interaction.

GPGPU-Sim provides a detailed simulation model of contemporary NVIDIA GPUs running CUDA and/or OpenCL workloads. It includes support for features such as TensorCores and CUDA Dynamic Parallelism as…

The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.