pldiiw's Stars
charlax/professional-programming
A collection of learning resources for curious software engineers
vlang/v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
amark/gun
An open source cybersecurity protocol for syncing decentralized graph data.
upx/upx
UPX - the Ultimate Packer for eXecutables
doitsujin/dxvk
Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine
openzfs/zfs
OpenZFS on Linux and FreeBSD
VGraupera/1on1-questions
Mega list of 1 on 1 meeting questions compiled from a variety to sources
aphyr/distsys-class
Class materials for a distributed systems lecture series
baldurk/renderdoc
RenderDoc is a stand-alone graphics debugging tool.
bpftrace/bpftrace
High-level tracing language for Linux
cyanharlow/purecss-francine
HTML/CSS drawing in the style of an 18th-century oil painting. Hand-coded entirely in HTML & CSS.
jepsen-io/jepsen
A framework for distributed systems verification, with fault injection
lpereira/lwan
Experimental, scalable, high performance HTTP server
hobby-kube/guide
Kubernetes clusters for the hobbyist.
patriciogonzalezvivo/glslViewer
Console-based GLSL Sandbox for 2D/3D shaders
sirupsen/napkin-math
Techniques and numbers for estimating system's performance from first-principles
clasp-developers/clasp
clasp Common Lisp environment
JeffBezanson/femtolisp
a lightweight, robust, scheme-like lisp implementation
ESWAT/john-carmack-plan-archive
Collection of John Carmack’s .plan files
triska/the-power-of-prolog
Introduction to modern Prolog
mrakgr/The-Spiral-Language
Functional language with intensional polymorphism and first-class staging.
gnl/ghostwheel
Hassle-free inline clojure.spec with semi-automatic generative testing and side effect detection
randomcorp/thread-first-thread-last-backwards-question-mark-as-arrow-cond-arrow-bang
The exciting new ->->><?as->cond->! macro
fniessen/refcard-org-beamer
Streamline your Beamer presentations with our Org mode Beamer Refcard. Download now for quick reference and enhanced productivity. #orgmode #beamer #referencecard #productivity
AlticeLabsProjects/kyoto
Kyoto Tycoon key-value store (and the underlying Kyoto Cabinet library)
remvee/android-mode
Emacs minor mode for Android application development
stryku/okon
Fast offline searching for SHA-1 keys in Have I Been Pwned databases
ladderlife/autochrome
Structural diffs for clojure source code
nano-o/PaxosMadeSimple
A TLA+ formalization of the algorithm described in "Paxos Made Simple"