Discover arianvp/types-and-statemachines Open Source project

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

GoogleStalker

Hom - React.JS for Haskell!

Hom

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

webauthn-oidc

servis

Github project where I track everything related to my thesis

TeX

nixos-stuff

Nixos stuff

HTML

nix-acbuild

Build minimal ACI containers using the Nix package manager

packet-ipv6-kubernetes

Servant authentication with javascript web tokens

servant-jwt-example

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

cgroup-exporter

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

AWS infrastructure for the NixOS village at Camp

nixos-village

HCL

BSODOS

a little joke kernel, displays a BSOD and halts.

ShowcaseView

Java

arianvp.me

a summer project. time for an operating system!

SummerOS

Haskeme

Haskell Scheme parser

lucid integration for Scotty

scotty-lucid

nixos-vultr-bootstrap

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

a Form-associated custom element for Webauthn

public-key-credential-element

TypeScript

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

nixcon2024

HCL

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

lolmin

Reproducer for slow NixOS evals even with minimal module list

a RESTful blogging platform based on node.js

edible

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

recipes

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

COBOL

frameless

Frameless is a CSS framework that does it right.

THERE'S A SNAKE IN MY BOOT

SnakesOnACanvas

a coffeescript + node.js chat server

Coffeescript-NodeJS-chatserver

mbd-report

PAC Learning Research

Python

venus

Elixir

tresor

ledstrip

Firmware for the ESP8266 for driving WS2821/2 Ledstrips

RayTracerLinux

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