sameer gupta's repositories
nix-tex-pipeline
Reusable for me atm
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)
dotemacs
learning from original and building on it
haskell-template
in dev
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
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