jhaberstro

jhaberstro's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown325k5.6k71630.1k

• labuladong/fucking-algorithm

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

  Language:Markdown127k2.3k86823.3k

• apache/arrow

  Apache Arrow is the universal columnar format and multi-language toolbox for fast data interchange and in-memory analytics

  Language:C++14.8k35025.7k3.6k

• DoctorWkt/acwj

  A Compiler Writing Journey

  Language:C11.3k219501.1k

• Ranchero-Software/NetNewsWire

  RSS reader for macOS and iOS.

  Language:Swift8.5k1263.7k542

• TokamakUI/Tokamak

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

  Language:Swift2.7k47214112

• heidihoward/distributed-consensus-reading-list

  A list of papers about distributed consensus.

  2.5k1163213

• vnmakarov/mir

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

  Language:C2.4k78262154

• google/marl

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

  Language:C++1.9k5471195

• ARM-software/astc-encoder

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

  Language:C1.1k54277245

• StanfordVL/cs131_notes

  Class notes for CS 131.

  Language:TeX753411389

• informalsystems/tendermint-rs

  Client libraries for Tendermint/CometBFT in Rust!

  Language:Rust62233582227

• mpoeter/xenium

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

  Language:C++522272652

• informalsystems/hermes

  IBC Relayer in Rust

  Language:Rust457341.4k352

• GameTechDev/GTS-GamesTaskScheduler

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

  Language:C++44931344

• enfiskutensykkel/ssd-gpu-dma

  Build userspace NVMe drivers and storage applications with CUDA support

  Language:C354192748

• gunrock/graphblast

  High-Performance Linear Algebra-based Graph Primitives on GPUs

  Language:C++220161726

• stephenrkell/liballocs

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

  Language:C220168527

• elastic/elasticsearch-formal-models

  Formal models of core Elasticsearch algorithms

  Language:Isabelle207362225

• penn-graphics-research/claymore

  Language:Cuda2026830

• dsharlet/array

  C++ multidimensional arrays in the spirit of the STL

  Language:C++19995315

• ebirenbaum/ParticleSolver

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

  Language:C++17812219

• jozefg/pcf

  A small compiler for PCF

  Language:Haskell123519

• nicknash/RelaSharp

  Model-checker for lock and wait free C# code

  Language:C#77800

• lorin/tla-linearizability

  Reading the linearizability paper with TLA+

  Language:TLA48214

• daniellustig/riscv-memory-model

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

  Language:Alloy31712

• johnwickerson/memalloy

  Memory consistency modelling using Alloy

  Language:OCaml287186

• mattsinc/heterosync

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

  Language:Cuda27317

• NVlabs/litmustestgen

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

  Language:Alloy15617

• mvandermerwe/BP-GPU-Message-Scheduling

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

  Language:Cuda10302