hydrastro

system-design-primer

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

project-based-learning

Curated list of project-based tutorials

wrk

Modern HTTP benchmarking tool

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

eng-practices

Google's Engineering Practices documentation

HVM

A massively parallel, optimal functional runtime in Rust

unmaintainable-code

A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html

awesome-appsec

A curated list of resources for learning about application security

notcurses

blingful character graphics/TUI library. definitely not curses.

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

awesome-safety-critical

List of resources about programming practices for writing safety-critical software.

Effective-JAVA-Summary

Summary of the book Effective Java 2nd Edition by Joshua Bloch

inspircd

A modular C++ IRC server (ircd).

OpenLogic

An open-source, customizable intermediate logic textbook

Smalltalk

By the Bluebook implementation of Smalltalk-80

igbinary

Igbinary is a drop in replacement for the standard php serializer.

OpenCL-Guide

A guide to help developers get up and running quickly with the OpenCL programming framework

Tomato.C

A pomodoro timer written in pure C.

vampire

The Vampire Theorem Prover

inpla

Inpla: Interaction nets as a programming language (the current version)

halutmatmul

Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator

uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

neverflow

Set of macros that guard against buffer overflows. Based on C99 VLA feature.

tic-tac-toe

Teaching a machine to play tic-tac-toe

computable-reals

Arbitrary precision, automatic re-computing real numbers in Common Lisp.

hls-llvm-project

wcms

⧉ light-weight, experimental CMS where you use link to think and publish ideas by creating poly-form site

repl.c

create a read-eval-print loop out of any command

TalkToGod

Communicate with God through the power of undefined behavior.

con4

bash online connect 4, using netcat