rutgerbrf Goto Github PK
Name: Rutger Broekhoff
Type: User
Company: @profects
Bio: Student Bachelor Computing Science at Radboud University
Location: Nijmegen
Blog: https://fautchen.eu/
Name: Rutger Broekhoff
Type: User
Company: @profects
Bio: Student Bachelor Computing Science at Radboud University
Location: Nijmegen
Blog: https://fautchen.eu/
BTRooster Lite roosterapp voor Calvijn College
Coq(IDE) 8.3pl4 in Docker (on Debian Wheezy), for NWI-IPI004 (Logic and Applications) at Radboud University
Generating finite automata from very basic regular expressions. Related to the course Languages & Automata (NWI-IPC002) at Radboud University. Pretty bad code.
A very simple Git LFS server that stores stuff in S3-compatible backends
A Zermelo schedule viewer made specifically for people using a phone running Android - MIRROR
A C++17 NBT Library with Compression Support - MIRROR
A C++14 library for creating, opening and modifying NBT files - MIRROR
Coq Formalization for Mininix
Public transit data playground. Mirror.
Yet another rusty NBT library
waterme: a silly Slack bot to remind you to water your plants
Work-in-progress NATS library for Zig
NKeys support for Zig
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.