Discover @arianvp Open Source projects

Arian van Putten (@arianvp)

arianvp

Stars
494
Global Rank 58,439 (Top 3 %)
Followers 272
Following 57
Registered almost 14 years ago
Most used languages

Haskell
22.6 %

Nix
14.5 %

Go
14.5 %

JavaScript
11.3 %

C
6.5 %

HCL 4.8 %

Arduino 3.2 %

Elixir
3.2 %

Rust
1.6 %

HTML
1.6 %

Python
1.6 %

Elm
1.6 %

CSS
1.6 %

COBOL
1.6 %

Java
1.6 %

C#
1.6 %

TeX
1.6 %

TypeScript
1.6 %

CoffeeScript
1.6 %

Agda 1.6 %
Location 🇩🇪 Germany
Country Total Rank 3,308
Country Ranking

Agda 8

Nix
9

COBOL
13

Haskell
39

Elm
160

HCL 172

TeX
193

Elixir
224

Arduino 263

CoffeeScript
409

Go
646

HTML
820

JavaScript
1,302

C
1,872

Rust
2,155

CSS
4,131

TypeScript
4,667

Java
4,764

C#
5,641

server-optimised-nixos

GoogleStalker

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

Hom

Hom - React.JS for Haskell!

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

nixos-stuff

nix-acbuild

Build minimal ACI containers using the Nix package manager

packet-ipv6-kubernetes

servant-jwt-example

Servant authentication with javascript web tokens

nomad-driver-systemd

ghcjs-servant-client

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

cgroup-exporter

haskell-fido2

A library for parsing and validating webauthn/fido2 credentials

generics-mrsop-diff

Typesafe structural diffing of haskell datratypes using generics

generics-mrsop-graphviz

Visualization of haskell datatypes

crdt

Haskell implementation of CRDTs

nixos-village

AWS infrastructure for the NixOS village at Camp

BSODOS

a little joke kernel, displays a BSOD and halts.

ShowcaseView

arianvp.me

types-and-statemachines

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

SummerOS

a summer project. time for an operating system!

Haskeme

Haskell Scheme parser

scotty-lucid

lucid integration for Scotty

nixos-vultr-bootstrap

elixir-isaac

auth

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

kpop.sh

Proof of Prior Knowledge service

servant-tutorial

systemd_exporter

Exports systemd metrics to prometheus

webauthn-minimal

Minimal go implementation of a Webauthn L2 relying party

colog-journald

Journald logging for the colog library

hconfig

Applicative configuration DSL

public-key-credential-element

a Form-associated custom element for Webauthn

mini-hydra

hex

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

generics-mrsop-gdiff

meteorchat

A mobile chat app written in Meteor

vulkano-pathtracer

A multi-stage unidirectional path tracer for microfacet models

RuneSauce

Runescape Emulator in Coffeescript

nixcon2024

toiletfreshener

An intelligent toilet freshener

try_git

hashicorp-cluster

Deploy a hashicorp cluster with ansible

ISAAC

A portable version of the ISAAC stream cipher

lolmin

Reproducer for slow NixOS evals even with minimal module list

edible

a RESTful blogging platform based on node.js

elm-gallery

A simple elm-html app with CSS transitiosn.

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 ;))

frameless

Frameless is a CSS framework that does it right.

SnakesOnACanvas

THERE'S A SNAKE IN MY BOOT

Coffeescript-NodeJS-chatserver

a coffeescript + node.js chat server

mbd-report

PAC Learning Research

venus

tresor

ledstrip

Firmware for the ESP8266 for driving WS2821/2 Ledstrips

RayTracerLinux

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

latex-template

wlpawesomeness

Program verification assignment 1

arduinoscilloscope

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

hginx

A haskell web server with systemd socket activation support

xv6

An OS that I use to learn about OS Dev

MidiProject

arch-t430s-installer

Provisioner for my laptop. will remove ansible dependency later.

slog-journal

slog: Handler for systemd journal

systemd-creds