avnik

nixos-configs

My NixOS config

CV

My CV sources

jenkinsfile-runner-nix

Flaked nix packaging for jenkinsfile-runner

nixpkgs

Nix Packages collection

npmlock2nix

purty-nau

record-dot-preprocessor

A preprocessor for a Haskell record syntax using dot

sdbus-cpp

High-level C++ D-Bus library for Linux designed to provide easy-to-use yet powerful API in modern C++

autopack

📦 Custom Setup to automate package modules discovery

beam

A type-safe, non-TH Haskell SQL library and ORM

beam-large-records

Beam integration for the large-records package

fallout2-ce

Fallout 2 for modern operating systems

ghaf

TII SSRC Secure Technologies: Ghaf Framework

ghaf-caml-crush

Caml Crush package and NixOS-module for ghaf framework

ghaf-ci-test-automation

ghc-hasfield-plugin

GHC Source plugin to replace field matching with HasField getter

haskell-nix-extras

Haskell.nix addendum stuff (opinionated and experimental)

haskell-nix-plugin-segfault-repro

Demo for haskell-nix and ghc plugin

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

hercules-ci-agent

https://hercules-ci.com build and deployment agent

jrec

Literally the best anonymous records

kernel-hardening-checker

A tool for checking the security hardening options of the Linux kernel

large-records

Library to support efficient compilation of large records (linear in the number of record fields)

naersk

Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. [maintainer: ???]

nix-ocaml-overlay

nixpkgs-cross-build-repro

Personal playground to debug nixpkgs cross-building issues

nur-packages

orgmode-parse

Attoparsec parser combinators for parsing org-mode structured text!

text-literal-plugin

vulnix

Vulnerability (CVE) scanner for Nix/NixOS.