jhaberstro

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

fucking-algorithm

刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

arrow

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

acwj

A Compiler Writing Journey

NetNewsWire

RSS reader for macOS and iOS.

Tokamak

SwiftUI-compatible framework for building browser apps with WebAssembly and native apps for other platforms

distributed-consensus-reading-list

A list of papers about distributed consensus.

mir

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

marl

A hybrid thread / fiber task scheduler written in C++ 11

astc-encoder

The Arm ASTC Encoder, a compressor for the Adaptive Scalable Texture Compression data format.

cs131_notes

Class notes for CS 131.

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

xenium

A C++ library providing various concurrent data structures and reclamation schemes.

GTS-GamesTaskScheduler

A task scheduling framework designed for the needs of game developers.

hermes

IBC Relayer in Rust

ssd-gpu-dma

Build userspace NVMe drivers and storage applications with CUDA support

liballocs

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

graphblast

High-Performance Linear Algebra-based Graph Primitives on GPUs

elasticsearch-formal-models

Formal models of core Elasticsearch algorithms

claymore

array

C++ multidimensional arrays in the spirit of the STL

ParticleSolver

CPU and GPU implementations of a particle-based physics simulation based on Macklin et. al's "Unified Particle Physics for Real-Time Application".

pcf

A small compiler for PCF

RelaSharp

Model-checker for lock and wait free C# code

tla-linearizability

Reading the linearizability paper with TLA+

memalloy

Memory consistency modelling using Alloy

riscv-memory-model

A formalization of the RVWMO (RISC-V) memory model

heterosync

HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs

litmustestgen

Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)

BP-GPU-Message-Scheduling

Code for "Message Scheduling for Performant, Many-Core Belief Propagation"