Papers from the computer science community to read and discuss.

🍄 an alleged 'operating system'

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval" (USENIX Security 2023).

The implementation of Tiptoe's linearly-homomorphic encryption scheme, accompanying the paper "Private Web Search with Tiptoe" (SOSP 2023).

The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A massively parallel, high-level programming language

An implementation of Joshua Yanovski's Ghost Cell paper.

rust wrapper for rocksdb

A fully typed LMDB wrapper with minimum overhead 🐦

Official Github Mirror of the LumoSQL Database Project (https://lumosql.org/src/lumosql)

Daemonless replacement for libudev

Simple Directmedia Layer

DooM in the terminal!

in memory Rust database to query your data like a Venn diagram

A wee async RTOS for Cortex-M

The fast sync and async channel that Rust deserves

Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar

Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.

The Inter font family

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language models.

LLM inference in C/C++

Rust async runtime based on io-uring.

A library for building fast, reliable and evolvable network services.

The financial transactions database designed for mission critical safety and performance.

A tool for finding large memcpy's in llvm ir