mattmacy

linux-insides

A little bit about a linux kernel

difftastic

a structural diff that understands syntax 🟥🟩

Lean

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

tracing

Application level tracing for Rust.

lalrpop

LR(1) parser generator for Rust

P

The P programming language.

tmux-yank

Tmux plugin for copying to system clipboard. Works on OSX, Linux and Cygwin.

loom

Concurrency permutation testing tool for Rust.

KawaiiPhysics

KawaiiPhysics : Simple fake Physics for UnrealEngine4 & 5

proptest

Hypothesis-like property testing for Rust

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

linux-tracing-workshop

Examples and hands-on labs for Linux tracing tools workshops

qmetaobject-rs

Integrate Qml and Rust by building the QMetaObject at compile time.

hwloc

Hardware locality (hwloc)

boogie

Boogie

skills-service

SkillTree is a micro-learning gamification platform supporting the rapid integration of a gamified tool training approach into new and existing applications.

hotpatch

Hot patching executables on Linux using .so file injection

Consus

Consus is a geo-replicated transactional key-value store.

UE4-ShooterGame

ShooterGame using Unreal and NoesisGUI

paxosmmc

Paxos Made Moderately Complex

openreplica

Coordination Service for Distributed Systems

ZoF

ZFS on FreeBSD - the official out of tree OpenZFS implementation for FreeBSD

skiboot

OPAL boot and runtime firmware for POWER

phosphor-webui

Web-based user interface for managing OpenBMC systems

power-gzip

POWER9 gzip engine documentation and code samples

leela-fish

UCI chess playing engine derived from Stockfish and LeelaChess Zero

qemu

Ben's qemu hacks

sha2-le

SHA2 algorithm implementation and optimization for ppc64le

arachne-all

Arachne thread management together with all dependencies and benchmarks.

kexec-lite