C++14 concurrent lock-free low-latency queue.

Bindings for RDMA ibverbs through rdma-core

Compile Rust to Java bytecode and runnable JARs.

Tactics for discharging Lean goals into SMT solvers.

A Rust CPU profiler implemented with the help of backtrace-rs

LLVM IR in natural Rust data structures

FEMU: Accurate, Scalable and Extensible NVMe SSD Emulator (FAST'18)

Frame profiler

On a hunt for the Jewels of the Queen of Mathematics... in LLVM IR

POP Memory Model in Lean

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…

Artifact for the OSDI'2025 paper

A Game Boy emulator written in F#

The glucose SAT solver

Safe(ish) C programming library

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"

a collection of well-tested, serializable CRDTs for Rust

ccache – a fast compiler cache

A dynamic library providing Virtualization-based process isolation capabilities

macOS: mount any linux-supported filesystem read/write using NFS and a microVM

Every stage of Verus, from source to solver, running live as wasm in your browser.

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

seL4 specification and proofs

Rust library for AMD SEV and SEV-SNP

Labeled IO Library

Java-like Language with Static Information Flow Types