Discover arianvp/arch-t430s-installer Open Source project

server-optimised-nixos

Hom - React.JS for Haskell!

Hom

Github project where I track everything related to my thesis

servis

TeX

webauthn-oidc

an stateless OpenID Connect authorization server that mints ID Tokens from Webauthn challenges

nixos-stuff

Nixos stuff

HTML

nix-acbuild

Build minimal ACI containers using the Nix package manager

Servant authentication with javascript web tokens

servant-jwt-example

packet-ipv6-kubernetes

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

nomad-driver-systemd

ghcjs-servant-client

A library for parsing and validating webauthn/fido2 credentials

haskell-fido2

Typesafe structural diffing of haskell datratypes using generics

generics-mrsop-diff

Visualization of haskell datatypes

generics-mrsop-graphviz

Haskell implementation of CRDTs

crdt

a little joke kernel, displays a BSOD and halts.

BSODOS

ShowcaseView

Java

nixos-village

AWS infrastructure for the NixOS village at Camp

HCL

arianvp.me

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

types-and-statemachines

Agda

SummerOS

a summer project. time for an operating system!

Haskeme

Haskell Scheme parser

nixos-vultr-bootstrap

lucid integration for Scotty

scotty-lucid

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

elixir-isaac

Elixir

auth

kpop.sh

Proof of Prior Knowledge service

servant-tutorial

Exports systemd metrics to prometheus

systemd_exporter

webauthn-minimal

Minimal go implementation of a Webauthn L2 relying party

colog-journald

Journald logging for the colog library

Applicative configuration DSL

hconfig

mini-hydra

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

hex

generics-mrsop-gdiff

A mobile chat app written in Meteor

meteorchat

A multi-stage unidirectional path tracer for microfacet models

vulkano-pathtracer

Rust

RuneSauce

Runescape Emulator in Coffeescript

CoffeeScript

toiletfreshener

An intelligent toilet freshener

Arduino

try_git

hashicorp-cluster

Deploy a hashicorp cluster with ansible

HCL

ISAAC

A portable version of the ISAAC stream cipher

edible

a RESTful blogging platform based on node.js

CSS

elm-gallery

A simple elm-html app with CSS transitiosn.

Elm

type-level-web

A talk for Bobkonf

keyboards

Collection of firmware for the keyboards I own

SnakesOnACanvas

THERE'S A SNAKE IN MY BOOT

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

recipes

COBOL

frameless

Frameless is a CSS framework that does it right.

a coffeescript + node.js chat server

RayTracerLinux

Coffeescript-NodeJS-chatserver

mbd-report

PAC Learning Research

Python

ledstrip

Firmware for the ESP8266 for driving WS2821/2 Ledstrips

venus

Elixir

tresor

MidiProject

Arduino

latex-template

Nixos latex

Program verification assignment 1

wlpawesomeness

This was used to see if I could turn harddrive motor output into gray code using some comparators. Will turn it into a web-based oscilloscope

arduinoscilloscope

A haskell web server with systemd socket activation support

hginx