A from-scratch Rust reimplementation of nixfmt that produces byte-identical output to the Haskell original.

the MiKTeX source code

BPF portability analyzer for compiled eBPF object files. Reports minimum kernel version requirements, data flow patterns, and CO-RE coverage.

Property-based testing for C++, built on Hypothesis

Analyzes resource usage and performance characteristics of running containers.

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

A benchmark comparing nix binary cache solutions

S-KPT

Simple Theorem Prover, an efficient SMT solver for bitvectors

S3-backed Nix binary cache with garbage collection

forked from nickcao/ranet

forked from cilium/ebpf

Real-time network diagnostics in your terminal. One command, zero config, instant visibility.

A C Compiler that fits in the 512 byte boot sector of an x86 machine

The Oxide Rust SDK and CLI

Investigate kernel error call stacks

forked from garnix-io/garnix-lib

Helpers for garnix

Tools for concurrent programming in Rust

package.json workflow for native development with Reason/OCaml

Static analysis of IEC 61131-3 programs

Firmware for the Xteink X4 e-paper display reader

Bindings to io_uring for OCaml

Internationalized Domain Names for OCaml (IDNA 2008 and UTS #46)

A fork of the Determinate Nix Installer.

Tool for solving BPF filters and crafting packets based on these.

Yet Another Implementation of jws