nixos. my personal NixOS config
13go-tidy-check. GitHub action to check if your Go modules are tidy
13image-tools. dismantle os images, debug reproducibility issues
11govulncheck-nixpkgs. Scanning nixpkgs for vulnerabilities in Go packages
10ghh. GitHub helper tool. Does things the gh CLI can't.
8ttrpcurl. Like cURL, but for ttRPC: Command-line tool for interacting with ttRPC servers
8dumpasn1. display and debug ASN.1 data [mirror]
6gobuild.nix. Experiment in new Go builders for Nix (not a go2nix tool)
6hmnews-bot. Home Manager News Bot shares the latest Home Manager news on social media
3sync. [wip] synchronization as a service
2sage-backend-gurobi. Sage container with Gurobi backend
2kata-containers. Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
1ocaml-course. Functional Programming course (RUB, 211060-SoSe24)
1nixutils. Shell
1