arianvp Goto Github PK

summeros

a summer project. time for an operating system!

systemd

The systemd System and Service Manager

systemd-stable

Backports of patch from systemd git to stable distributions

systemd_exporter

Exports systemd metrics to prometheus

t430s-archlinux

My installation

tdiagrams

Use UU Atribute Grammar System with Cabal and Stack

tdl

TDL compiler

terraform-provider-ignition

Terraform ignition provider

terranix

Me experimenting with directly talking to terraform providers to generate nix modules and statemgmt?

test-gitpod-nix

tmk_keyboard

Keyboard firmwares for Atmel AVR and Cortex-M

toiletfreshener

An intelligent toilet freshener

tpm_futurepcr

Calculate future (next boot) TPM PCRs after a kernel upgrade

try_git

twmasterclass

The project that participants of the TW Masterclass 2013 will be working on.

type-level-web

A talk for Bobkonf

types-and-statemachines

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

uu-foswiki

Backup of the UU foswiki, which contains valuable documentation about many haskell projects

vault-helm

Helm chart to install Vault and other associated components.

vault-k8s-jwt-auth-demo

Demo to show that the jwt authenticator is enough to support kubernetes

vault-le

venus

vimspeak

Speak to your editor.

vindinium-starter-csharp

C# starter bot for Vindinium http://vindinium.org

virtual-dom

Minimal virtual DOM system for Elm. Useful for creating libraries for HTML and SVG.

vulkano

Safe and rich Rust wrapper around the Vulkan API

vulkano-examples

Examples of using vulkano

vulkano-pathtracer

A multi-stage unidirectional path tracer for microfacet models

vulkano-raytracing

Realtime GPU raytracer created with Vulkano.

wai-not-a-category

WAI has some really nice categorical properties . This library allows you to use those