🔧 Package VirtualBox as a Flatpak, leveraging KVM support patches for efficient virtual machine management and easy installation on various systems.

Native macOS Wayland Compositor written in Rust using Smithay. Experience seamless Linux app streaming on macOS without XQuartz.

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

Monospace old-style serif font

Dafny verifies proofs; claimcheck confirms intent.

The Sireum Programming Language (Slang)

Neptune OS: A Windows NT personality for the seL4 microkernel

A Rust-based framework for compile-time, zero-cost traceability and specification modeling.

A free book about developing secure and robust systems software.

A curated list of awesome Rowhammer papers, tools, and info resources. 👉 Content coming soon, stay tuned!

Arm AArch64 to RISC-V Transpiler

ECMAScript Proposal, specs, and reference implementation for Realms

Shoelace is now Web Awesome. Come see what’s new!

Ambient Authority

Build NVIDIA® CUDA™ code for OpenCL™ 1.2 devices

Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.

BaseX Main Repository.

Solving i18n for client-side and resource-constrained environments.

Simple and reliable secure storage with strong encryption and format validation.

A replacement for System.Linq (Cistern.Linq - it's part of the plumbing!)

Bridging between web streams and Rust streams using WebAssembly

Library for generalised parser combinators and a dedicated meta-language in Rust

Rust implementation of The Update Framework (TUF)

A dependable package manager for your Haxe projects

SikuliX version 2.0.0+ (2019+)

Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.

The fastest and safest AV1 encoder.

WASP ~ [WebAssembly Parser]

Open Source H.264 Codec