carnotweat

carnotweat.github.io

nix-tex-pipeline

Reusable for me atm

application-isolation-nixos-containers

capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

cbpv-in-agda

Formalization of Call-By-Push-Value, augmented with effect tracking

ckb-vm

CKB's vm, based on open source RISC-V ISA

config

Random config (v2, clean history)

ddosify

"Canva" of Kubernetes Observability. Available on CLI, Self-Hosted, and Cloud - https://ddosify.com 🚀

dotemacs

learning from original and building on it

guest0x0

Neon lights in the night tonight and stars that shine in the open sky

haskell-template

in dev

infra-guix

learning-ebpf

Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more

nix-kernel-vm

Setup for Linux Kernel development in VM on NixOS

nix-overlay-guix

A package and module for using GNU Guix on Nix(OS).

nix-processmgmt

Experimental Nix-based process management framework

nix-straight.el

Low-level Nix integration to straight.el [maintainer=@ckiee]

nixos-modules

Mirror of https://git.henrimenke.de/henri/nixos-modules

nixos-router

A NixOS router framework

nixpkgs

Nix Packages collection & NixOS

notnft

Nix DSL for nftables

openmptcprouter

OpenMPTCProuter is an open source solution to aggregate multiple internet connections using Multipath TCP (MPTCP) on OpenWrt

ppx_let

Monadic let-bindings

pre-commit-hooks

Some out-of-the-box hooks for pre-commit

register

Grab your own sweet-looking '.is-a.dev' subdomain

rfcs

The Nix community RFCs

riscv-iommu

Non-ISA IOMMU specification developed by the IOMMU TG.

roc2nix

Nix builder for roc code

tasket-on-nix

Recently fell for tasker

termux