afterdusk's Stars
WhatsApp/proxy
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)
slawlor/ractor
Rust actor framework
slawlor/repl
Rust Read-Evaluate-Print-Loop utility crate
WhatsApp/eqwalizer
A type-checker for Erlang
facebookincubator/meta-code-verify
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 you’re getting is the same as everyone else’s.
proper-testing/proper
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
WhatsApp/waraft
An Erlang implementation of RAFT from WhatsApp
juxd/zig-cli
facebook/akd
An implementation of an auditable key directory
pengnam/Test
WhatsApp/erlt
Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
pengnam/freebsd-netlink-depracated
GSOC 2021
mikeyhc/discordant
An erlang app for building discord bots
flameshot-org/flameshot
Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
ksindi/managers-playbook
:book: Heuristics for effective management
juxd/mini_gemini
dlqs/patch-to-pull-request
juxd/bobochacha
pengnam/socprint-web
Printing platform for School of Computing, National University of Singapore 🖨
BenjaminHCCarr/duckdns-mirror
The DuckDNS DDNS Server Code
MarcoPereira27/pomodore-discord-bot
dlqs/SOCprint
POSIX™-compliant, zero-dependency shell script to print in NUS SoC
qjqqyy/cs3223
database systems implementation
juxd/some-ocaml
microsoft/PowerToys
Windows system utilities to maximize productivity
victorf8/MCServerDiscordBot
control minecraft servers through discord bot interaction.
gpgpu-sim/gpgpu-sim_distribution
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 well as a performance visualization tool, AerialVisoin, and an integrated energy model, GPUWattch.
monkeytypegame/monkeytype
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.
pinda-fun/pinda-fun
Pinda! -- Pin pointing has never been more exciting!