Arian van Putten

server-optimised-nixos. Nix

GoogleStalker. GoogleStalker is a tool to make people realize how much data Google has on you and how detailed this data is.

nixos-stuff. Nixos stuff

Hom. Hom - React.JS for Haskell!

cgroup-exporter. This is a lightweight Prometheus exporter for cgroups that only supports the unified cgroup v2 hierarchy. It exposes usage metrics for each cgroup in the hierarchy.

webauthn-oidc. an stateless OpenID Connect authorization server that mints ID Tokens from Webauthn challenges

servis. Github project where I track everything related to my thesis

nix-attest. SLSA provenance using Nix and Github Actions

nix-acbuild. Build minimal ACI containers using the Nix package manager

servant-jwt-example. Servant authentication with javascript web tokens

packet-ipv6-kubernetes. Nix

nomad-driver-systemd. Go

ghcjs-servant-client. Automatic generation of haskell functions for querying servant webservices ... in GHCJS!

haskell-fido2. A library for parsing and validating webauthn/fido2 credentials

bocaditos. Nix

generics-mrsop-diff. Typesafe structural diffing of haskell datratypes using generics

generics-mrsop-graphviz. Visualization of haskell datatypes

crdt. Haskell implementation of CRDTs

ShowcaseView. Java

nixos-village. AWS infrastructure for the NixOS village at Camp

nixcon2024. HCL

BSODOS. a little joke kernel, displays a BSOD and halts.

types-and-statemachines. Research project about types and state machines, and their applications in HTTP

nixos-vultr-bootstrap. Nix

arianvp.me. Nix

SummerOS. a summer project. time for an operating system!

Haskeme. Haskell Scheme parser

scotty-lucid. lucid integration for Scotty

elixir-isaac. Elixir

auth. auth is a highly modern, secure and minimal identity management paltform

public-key-credential-element. a Form-associated custom element for Webauthn

servant-tutorial. Haskell

hconfig. Applicative configuration DSL

webauthn-minimal. Minimal go implementation of a Webauthn L2 relying party

colog-journald. Journald logging for the colog library

kpop.sh. Proof of Prior Knowledge service

hex. Hex-tools is a docker substitute built on systemd and btrfs

nixpkgs-notes. Notes about nixpkgs and how things stick together and are hacked together

ISAAC. A portable version of the ISAAC stream cipher

tresor. Go

latex-template. Nixos latex

keyboards. Collection of firmware for the keyboards I own

recipes. Recipe manager for ARM Mainframes (Where Mainframe is a small device, like a smartphone, sitting on your desk ;))

RayTracerLinux. Jacco Bikker's RayTracer with modifications for linux. All rights reserved

ledstrip. Firmware for the ESP8266 for driving WS2821/2 Ledstrips

wlpawesomeness. Program verification assignment 1