Automatic tiling window manager for macOS à la xmonad.

blazingly fast backends in zig

🍖 Session types for asynchronous communication between multiple parties.

Open Source Continuous File Synchronization

A system for automatically configuring mutt and isync with a simple interface and safe passwords

framework for composable networking services

Lock-free SPSC FIFO ring buffer with direct access to inner data

Cross-platform, low level networking using the Rust programming language.

A library for deadlock-free multiparty session-typed communication in Rust.

A small and fast async runtime for Rust

Async multi-producer multi-consumer channel

A catalogue of Rust design patterns, anti-patterns and idioms

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Rust allocator using jemalloc as a backend

Compact inlined strings for Rust.

Coz: Causal Profiling

The Linux perf GUI for performance analysis.

🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Multiparty Session Types toolKit

sodestream materials for the IETF 115 Hackathon

🦀 How to minimize Rust binary size 📦

The Scribble language guide.

Code for parsing out augmented packet header diagrams from IETF documents

An implementation of the IETF QUIC protocol

COMPSCI4021 coursework for 2020 U. Glasgow Haskell class

Minimal implementation of the QUIC protocol