Wouter Geraedts

ibe. Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve

dsmr5. DSMR5 protocol implemented in no-std Rust

librusql. A fault-tolerant MySQLCppConn C++11-wrapper

nebula. Playing with Volumetric Particle Clouds and Raytracing in OpenGL and C++

vrijbrief. CLI for ticket reservations for the Radboud University Sportscentre

fastcgipp. Fork of the FastCGI++ library

deterministic-hash. Library to create deterministic hashes regardless of architecture

tinyphash. Tiny and simple C implementation of DCT perceptual hash

splang. Simple Programming Language compiler in Haskell

irmars. IRMA Rust library for attribute verification and issuance

splicpp. SPL compiler in C++

letsencrypt-nginx-tiny. A collection of instructions and bash scripts to maintain letsencrypt on a server

kiri. Rust

slimmemeter. Quick and dirty DSMR5 serial TTY to MQTT exporter

ical-filter. HTTP daemon to normalize and filter iCalendar files

superplan. Smart Planner in Python for Hackergames hackathon

islang. Inductive Scripting Language

vakkenranking. Parsing application for Radboud University evaluations.

bootlick. Bootloader toolkit

premiseselection. Premise selection for Coq on various corpora

roerei. Premise selection for Coq in OCaml and C++

allerhande. Scraper for the Albert Heijn recipe page