Stackless Async Subroutines for C

Techniques and numbers for estimating system's performance from first-principles

Nix flake for the Zig compiler.

An algorithmic sandbox for Jane Street's game, "Figgie"

A curated list of awesome projects and resources relating to the Internet Computer Protocol

A massively parallel, optimal functional runtime in Rust

radius2 is a fast binary emulation and symbolic execution framework using radare2

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

Outline Client and Manager, developed by Jigsaw. Outline Manager makes it easy to create your own VPN server. Outline Client lets you share access to your VPN with anyone in your network, giving th…

tinyworldmap is a tiny world map for offline-first and low-bandwidth web apps

ICP lending protocol

Build Internet Computer projects with Nix

Cryptanalysis of the Enigma machine in Rust.

Minify CSS files through refactoring

Window handling library in pure Rust

A collection of learning resources for curious software engineers

Minimalist monochrome theme for Visual Studio Code

Constellation is the first Confidential Kubernetes. Constellation shields entire Kubernetes clusters from the (cloud) infrastructure using confidential computing.

Enhancing the Factorio experience with SAT solvers

A multi-fuzzer management utility for all of your Rust fuzzing needs 🧑‍🎤

Hash collisions and exploitations

Container runtimes on macOS (and Linux) with minimal setup

🦀 How to minimize Rust binary size 📦

Machine Learning Engineering Open Book

Kinode OS runtime

The user-friendly command line shell.