Large scale K-means and K-nn implementation on NVIDIA GPU / CUDA

Fast, vectorized C++ implementation of K-Means using the Eigen matrix template library. Includes Matlab and Python interfaces.

A CUDA implementation of the k-means clustering algorithm

Techniques and numbers for estimating system's performance from first-principles

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

Read-through cache for object storage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

Containerization is a Swift package for running Linux containers on macOS.

🐇 Fuzzing Rust code with American Fuzzy Lop

A faster Arc.

Add hardship to your tests

Yet Another Parser library for Rust. A lightweight, dependency free, parser combinator inspired set of utility methods to help with parsing strings and slices.

The fast sync and async channel that Rust deserves

xlskubectl — a spreadsheet to control your Kubernetes cluster

Gotta go fast

A set of htmx extractors, responders, and request guards for axum.

Markdown language server

Linker experiments

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Symbolic-execution-based verifier for the Viper intermediate verification language.

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Official Rust implementation of Apache Arrow

A different approach to an E-graph library

The core OCaml system: compilers, runtime system, base libraries

The HOL Light theorem prover

Refreshing automation for inductive equational proofs using e-graphs

Automatically generate a compiler using equality saturation