Discover @Wassasin Open Source projects

Wouter Geraedts (@Wassasin)

Wassasin

Stars
79
Global Rank 246,367 (Top 9 %)
Followers 43
Following 11
Registered over 13 years ago
Most used languages

C++
38.1 %

Rust
28.6 %

Python
9.5 %

PostScript 4.8 %

C
4.8 %

OCaml
4.8 %

Haskell
4.8 %

Shell
4.8 %

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

splang

Simple Programming Language compiler in Haskell

fastcgipp

Fork of the FastCGI++ library

tinyphash

Tiny and simple C implementation of DCT perceptual hash

slimmemeter

Quick and dirty DSMR5 serial TTY to MQTT exporter

letsencrypt-nginx-tiny

A collection of instructions and bash scripts to maintain letsencrypt on a server

splicpp

SPL compiler in C++

premiseselection

Premise selection for Coq on various corpora

superplan

Smart Planner in Python for Hackergames hackathon

islang

Inductive Scripting Language

vakkenranking

Parsing application for Radboud University evaluations.

ical-filter

HTTP daemon to normalize and filter iCalendar files

deterministic-hash

Library to create deterministic hashes regardless of architecture

allerhande

Scraper for the Albert Heijn recipe page

lcfprover

LCF-style prover for minimal propositional logic in OCaml.

roerei

Premise selection for Coq in OCaml and C++

irmars

IRMA Rust library for attribute verification and issuance