rutgerbrf
Student Master Computing Science (MFoCS) at Radboud University. (I always randomly decide where to put repos so not everything might be here on GitHub.)
@profectsNijmegen
Pinned Repositories
btrooster-lite
BTRooster Lite roosterapp voor Calvijn College
gitolfs3
A very simple Git LFS server that stores stuff in S3-compatible backends
mininix-formalization
Coq Formalization for Mininix
waterme
waterme: a silly Slack bot to remind you to water your plants
zig-nats
Work-in-progress NATS library for Zig
zig-nkeys
NKeys support for Zig
timeterm
Embedded timetable system (integrates with Zermelo) – monorepo – mirror of https://gitlab.com/timeterm/timeterm
rutgerbrf's Repositories
rutgerbrf/zig-nats
Work-in-progress NATS library for Zig
rutgerbrf/gitolfs3
A very simple Git LFS server that stores stuff in S3-compatible backends
rutgerbrf/zig-nkeys
NKeys support for Zig
rutgerbrf/mininix-formalization
Coq Formalization for Mininix
rutgerbrf/btrooster-lite
BTRooster Lite roosterapp voor Calvijn College
rutgerbrf/waterme
waterme: a silly Slack bot to remind you to water your plants
rutgerbrf/docker-coq-83pl4
Coq(IDE) 8.3pl4 in Docker (on Debian Wheezy), for NWI-IPI004 (Logic and Applications) at Radboud University
rutgerbrf/fatest
Generating finite automata from very basic regular expressions. Related to the course Languages & Automata (NWI-IPC002) at Radboud University. Pretty bad code.
rutgerbrf/horarium
A Zermelo schedule viewer made specifically for people using a phone running Android - MIRROR
rutgerbrf/libnbtpp
A C++17 NBT Library with Compression Support - MIRROR
rutgerbrf/libnbtpp2
A C++14 library for creating, opening and modifying NBT files - MIRROR
rutgerbrf/oeuf
Public transit data playground. Mirror.
rutgerbrf/rust-nbt
Yet another rusty NBT library
rutgerbrf/rutgerbrf