Skip to content
View rutgerbrf's full-sized avatar
13 followers · 17 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@kapseis

Block or report rutgerbrf

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • oeuf Public

    Public transit data playground. Mirror.

    C++ European Union Public License 1.2 Updated Sep 7, 2024

  • gitolfs3 Public

    A very simple Git LFS server that stores stuff in S3-compatible backends

    git git-lfs s3
    Rust 3 MIT License Updated Jul 11, 2024

  • mininix-formalization Public

    Coq Formalization for Mininix

    nix interpreter coq verified
    Coq 1 Other Updated Jun 27, 2024

  • zig-nkeys Public

    NKeys support for Zig

    zig nats nkeys
    Zig 3 1 Apache License 2.0 Updated Jun 20, 2024

  • docker-coq-83pl4 Public

    Coq(IDE) 8.3pl4 in Docker (on Debian Wheezy), for NWI-IPI004 (Logic and Applications) at Radboud University

    Shell Apache License 2.0 Updated May 25, 2022

  • fatest Public

    Generating finite automata from very basic regular expressions. Related to the course Languages & Automata (NWI-IPC002) at Radboud University. Pretty bad code.

    Haskell BSD 2-Clause "Simplified" License Updated Mar 12, 2022

  • zig-nats Public

    Work-in-progress NATS library for Zig

    zig nats
    Zig 4 Apache License 2.0 Updated Jul 3, 2021

  • horarium Public archive

    A Zermelo schedule viewer made specifically for people using a phone running Android - MIRROR

    Kotlin Apache License 2.0 Updated Feb 8, 2021

  • waterme Public

    waterme: a silly Slack bot to remind you to water your plants

    Go 1 The Unlicense Updated Sep 5, 2020

  • rutgerbrf Public

    Updated Jul 17, 2020

  • libnbtpp2 Public archive

    A C++14 library for creating, opening and modifying NBT files - MIRROR

    C++ BSD 3-Clause "New" or "Revised" License Updated Aug 15, 2019

  • libnbtpp Public archive

    A C++17 NBT Library with Compression Support - MIRROR

    C++ MIT License Updated Jul 11, 2018

  • rust-nbt Public archive

    Yet another rusty NBT library

    Rust BSD 3-Clause "New" or "Revised" License Updated May 10, 2018

  • btrooster-lite Public archive

    BTRooster Lite roosterapp voor Calvijn College

    Kotlin 1 GNU General Public License v3.0 Updated Feb 28, 2018