gautammenghani

localsend

An open-source cross-platform alternative to AirDrop

z3

The Z3 Theorem Prover

c4

C in four functions

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

xv6-riscv

Xv6 for RISC-V

bytehound

A memory profiler for Linux.

GQL

Git Query language is a SQL like language to perform queries on .git files with supports of most of SQL features such as grouping, ordering and aggregations functions

teach-rs

A modular, reusable university course for Rust

blis

BLAS-like Library Instantiation Software Framework

otel-profiling-agent

The production-scale datacenter profiler (C/C++, Go, Rust, Python, Java, NodeJS, .NET, PHP, Ruby, Perl, ...)

NyuziProcessor

GPGPU microprocessor architecture

c-style

My favorite C programming practices.

programming-math-science

This is a list of links to different freely available learning resources about computer programming, math, and science.

awesome-os

A list of operating systems and stuff

0xtools

0x.Tools: X-Ray vision for Linux systems

riscv-sodor

educational microarchitectures for risc-v isa

microwatt

A tiny Open POWER ISA softcore written in VHDL 2008

ramulator

A Fast and Extensible DRAM Simulator, with built-in support for modeling many different DRAM technologies including DDRx, LPDDRx, GDDRx, WIOx, HBMx, and various academic proposals. Described in the IEEE CAL 2015 paper by Kim et al. at http://users.ece.cmu.edu/~omutlu/pub/ramulator_dram_simulator-ieee-cal15.pdf

security-notes

:notebook: Some security related notes

Awesome-GPU

Awesome resources for GPUs

PerfSpect

System performance characterization tool based on linux perf

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

semu

A minimalist RISC-V system emulator capable of running Linux kernel

ghost-userspace

linux-kernel-vscode

Reference setup for Linux kernel development in VSCode

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

Dat3M

A verification tool for many memory models

majorana

A RISC-V virtual processor, written in Go.

linker-koans

Snippets that explore how linkers work, one flag at a time.

workshop-imagemagick

Landlock workshop to sandbox ImageMagick