in-place allocation-reusing queues for Rust

A workbench for writing toy implementations of distributed systems.

PaSh: Light-touch Data-Parallel Shell Processing

x86 PC emulator and x86-to-wasm JIT, running in the browser

Adds Clippy from Microsoft Office to Autodesk Maya.

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Raft distributed consensus algorithm implemented in Rust.

A purely functional programming language with first class types

A purely functional programming language with first class types

safe bindings to io-uring

Sampling profiler for Python programs

Black-box transactional safety checker based on cycle detection

Statistical Rethinking course at MPI-EVA from Dec 2018 through Feb 2019

a high performance, general purpose data compressor written in the crab-lang

Highly-available Distributed Fault-tolerant Runtime

Glamorous Toolkit is the Moldable Development environment. It empowers you to make systems explainable through experiences tailored for each problem.

Rust virtual machine and JIT compiler for eBPF programs

Social reading and reviewing, decentralized with ActivityPub

A friendly programming language from the future

Monkey patching in Go

10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

Lucet, the Sandboxing WebAssembly Compiler.

An Open, Scalable, Portable, Ray Tracing Based Rendering Engine for High-Fidelity Visualization

A #[no_std] LinAlg library

A modern Python application packaging and distribution tool

A safe and reliable process manager

Linear algebra library for Rust.

Maintainable configuration files, for Rust users

🧑‍🔬 Operating system