Rémy Rakic's starred repositories

tiny-gpu

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

Language:SystemVerilogStargazers:6401Issues:62Issues:19

glidesort

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

cannoli

High-performance QEMU memory and instruction tracing

Language:RustLicense:GPL-2.0Stargazers:471Issues:13Issues:8

cargo-pgo

Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.

Language:RustLicense:MITStargazers:455Issues:6Issues:27

ascent

logic programming in Rust

Language:RustLicense:MITStargazers:373Issues:7Issues:19

compiler-and-arch

A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture

polymur-hash

The PolymurHash universal hash function.

Language:CLicense:ZlibStargazers:314Issues:9Issues:8

seize

Fast, efficient, and robust memory reclamation for Rust.

Language:RustLicense:MITStargazers:309Issues:5Issues:14
Language:RustLicense:Apache-2.0Stargazers:289Issues:5Issues:2

hypergraph

Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.

Language:RustLicense:MITStargazers:271Issues:4Issues:4

hyperqueue

Scheduler for sub-node tasks for HPC systems with batch scheduling

Language:RustLicense:MITStargazers:261Issues:7Issues:197

machinery_blog_archive

A mirror of the publicly available Our Machinery Blog Posts from archive.org. Archived for posterity as a public service. Removed by request if it's a problem.

Language:HTMLStargazers:202Issues:6Issues:0

crumsort-rs

A parallelized Rust port of crumsort

Language:RustLicense:Apache-2.0Stargazers:166Issues:6Issues:2

slothy

Assembly super-optimization via constraint solving

Language:AssemblyLicense:NOASSERTIONStargazers:133Issues:6Issues:4

spirt

SPIR-🇹: shader-focused IR to target, transform and translate from 🦀

Language:RustLicense:Apache-2.0Stargazers:102Issues:7Issues:11

krun

High fidelity benchmark runner

Language:PythonLicense:NOASSERTIONStargazers:84Issues:5Issues:148

ReBench

Execute and document benchmarks reproducibly.

Language:PythonLicense:MITStargazers:80Issues:7Issues:121
Language:CudaLicense:MITStargazers:57Issues:8Issues:1

rustlantis

UB-free and deterministic rustc fuzzer

Language:RustLicense:Apache-2.0Stargazers:40Issues:3Issues:1

sux-rs

Rust implementations of succinct data structures

Language:RustLicense:Apache-2.0Stargazers:36Issues:6Issues:27

rvx-projector

Blender add-in for projecting pixel art

Language:PythonLicense:GPL-3.0Stargazers:33Issues:1Issues:0

PTRHash

PTRHash minimal perfect hash function, based of PTHash

simple-saca

Hardware go brrr bounded context suffix array construction algorithm

warmup_stats

A VM performance data analysis system

Language:PythonLicense:NOASSERTIONStargazers:11Issues:6Issues:45

eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Language:OCamlStargazers:9Issues:1Issues:0

ziptree-rs

Tarjan's zip trees implemented in Rust

Language:RustLicense:MITStargazers:7Issues:0Issues:0

MrrlSort

A stable, linearithmic sort in constant space

Language:RustStargazers:6Issues:0Issues:0

ripeg

Incremental PEG parsing in Rust

Language:RustStargazers:5Issues:0Issues:0