Modern HTTP benchmarking tool

Shiny App and R Package to identify search terms in evidence synthesis with quantitative textual analysis

A tiling window manager for Windows 🍉

Basic Go server for mbtiles

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

Video+code lecture on building nanoGPT from scratch

An agenix extension adding secret generation and automatic rekeying using a YubiKey or master-identity

Opinionated Ubuntu Setup

Like "ls", but for images. Shows thumbnails in terminal using sixel graphics.

The Linux perf GUI for performance analysis.

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Experimental deployment tool supporting multi-host abstractions

A simple, stateless NixOS deployment tool

NixOS modules to aid in configuring NixOS for raspberry pi products

Paper backup generator suitable for long-term storage.

📂 Web File Browser

Templates that are directly maintained by the Typst team.

krata is an isolation engine for securing compute workloads

A static verifier for Rust, based on the Viper verification infrastructure.

The simplest possible way to begin using and extending a NixOS Configuration with a Raspberry Pi

LO - small programming language targeting WASM that aims to be as simple as possible

Tiled scrollable window management for Gnome Shell

A scrollable-tiling Wayland compositor.

AmsterdamUMCdb - Freely Accessible ICU database. Please access our Open Access manuscript at https://doi.org/10.1097/CCM.0000000000004916

🔐🌐 Privacy-respecting web frontends for popular services

Refinement Types for Rust

A statically typed programming language for scientific computations with first class support for physical dimensions and units

Homelab and dotfiles made with NixOS