There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 challengesservis
Github project where I track everything related to my thesisnixos-stuff
Nixos stuffnix-acbuild
Build minimal ACI containers using the Nix package managerpacket-ipv6-kubernetes
servant-jwt-example
Servant authentication with javascript web tokensnomad-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 credentialsgenerics-mrsop-diff
Typesafe structural diffing of haskell datratypes using genericsgenerics-mrsop-graphviz
Visualization of haskell datatypescrdt
Haskell implementation of CRDTsnixos-village
AWS infrastructure for the NixOS village at CampBSODOS
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 HTTPSummerOS
a summer project. time for an operating system!Haskeme
Haskell Scheme parserscotty-lucid
lucid integration for Scottynixos-vultr-bootstrap
elixir-isaac
auth
auth is a highly modern, secure and minimal identity management paltformkpop.sh
Proof of Prior Knowledge serviceservant-tutorial
systemd_exporter
Exports systemd metrics to prometheuswebauthn-minimal
Minimal go implementation of a Webauthn L2 relying partycolog-journald
Journald logging for the colog libraryhconfig
Applicative configuration DSLpublic-key-credential-element
a Form-associated custom element for Webauthnmini-hydra
hex
Hex-tools is a docker substitute built on systemd and btrfsgenerics-mrsop-gdiff
meteorchat
A mobile chat app written in Meteorvulkano-pathtracer
A multi-stage unidirectional path tracer for microfacet modelsRuneSauce
Runescape Emulator in Coffeescriptnixcon2024
toiletfreshener
An intelligent toilet freshenertry_git
hashicorp-cluster
Deploy a hashicorp cluster with ansibleISAAC
A portable version of the ISAAC stream cipheredible
a RESTful blogging platform based on node.jselm-gallery
A simple elm-html app with CSS transitiosn.type-level-web
A talk for Bobkonfkeyboards
Collection of firmware for the keyboards I ownrecipes
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 BOOTCoffeescript-NodeJS-chatserver
a coffeescript + node.js chat servermbd-report
PAC Learning Researchvenus
tresor
ledstrip
Firmware for the ESP8266 for driving WS2821/2 LedstripsRayTracerLinux
Jacco Bikker's RayTracer with modifications for linux. All rights reservedlatex-template
Nixos latexwlpawesomeness
Program verification assignment 1arduinoscilloscope
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 oscilloscopehginx
A haskell web server with systemd socket activation supportxv6
An OS that I use to learn about OS DevMidiProject
arch-t430s-installer
Provisioner for my laptop. will remove ansible dependency later.slog-journal
slog: Handler for systemd journalsystemd-creds
Love Open Source and this site? Check out how you can help us