A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 and reasoning techniques.

Portals is a low-level network API for high-performance networking on high-performance computing systems developed by Sandia National Laboratories, Intel Corporation, and the University of New Mexico.

a quotient filter written in C

A library of generic C modules

A cloud native embedded storage engine built on object storage.

Material for the "CS-548: Cloud-native Software Architectures" postgraduate course

HPK allows running Kubernetes applications within HPC by translating deployments to Slurm and Singularity/Apptainer

A resource to help you pass system design interview and become good at work 👇

A collection of learning resources for curious software engineers

MLPerf™ Storage Benchmark Suite

Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches t…

Fdb is a domain-specific object store for meteorological objects

System performance characterization tool based on linux perf

Inference code for Llama models

📚 List of awesome university courses for learning Computer Science!

Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …

Magit for VSCode

Concurrent skip list in C

TLC is a model checker for specifications written in TLA . The TLA Toolbox is an IDE for TLA .

A C toolkit that supports development of tools and applications at ECMWF.

Fdb is a domain-specific object store for meteorological objects

Superduper: Integrate AI models and machine learning workflows with your database to implement custom AI applications, without moving your data. Including streaming inference, scalable model hostin…

HDF5 REST VOL Connector

Highly parallel DBSCAN (HPDBSCAN)

The Mojo Programming Language