A Rust-based, lightweight unikernel.

The Feldera Incremental Computation Engine

Verified Rust for low-level systems code

syzkaller is an unsupervised coverage-guided kernel fuzzer

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…

Automated multicore scalability testing tool

Framework for writing Linux kernel modules in safe Rust

Minimal is the new cool.

A 21st century LaTeX wrapper

Recipe for FPGA cooking

📖 A collection of pure bash alternatives to external processes.

A benchmark to compare synchronization techniques for multicore programming

Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper.

NoSQL data store using the seastar framework, compatible with Apache Cassandra

Awesome list for Paxos and friends

Haskell papers optimized for my e-reader.

Fast HTTP package for Go. Tuned for high performance. Zero memory allocations in hot paths. Up to 10x faster than net/http

The collection synthesizer

This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization lib…

HotCRP conference review software

A Fast Key-Value Storage Engine Based on Hierarchical B+-Tree Trie

a paper template

Awesome & interesting talks about programming

The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.

A collection of resources on wait-free and lock-free programming

Beta release of Masstree.

Multicore in-memory storage engine