Name: Pieter
Type: User
Company: University of Twente
Bio: Scientific Programmer with the VerCors project // Interested in Software Correctness, Formal Methods, Compilers and Language Design
Location: Enschede, Netherlands
Blog: https://pieterbos.me/
Pieter's Projects
3Dto2DApplet
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Unofficial Bitwarden compatible server written in Rust
Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.
CSS 3D renderer for Three.js.
A simple ECA rule engine for teaching purposes
/etc/*
Tool for splitting Game Maker .gmk files into a tree of xml and resource files and to reassemble this tree into a new .gmk file
HDD speed testing utility
Hello World!
Fully programmable autopilot mod for KSP. Originally By Nivekk
Your shiny new Java/Scala build tool!
C/C++ plugin for the Mill build tool
Minimal implementation of ELF that can produce an executable binary from scratch
Challenge 3 from the Network Systems module.
SMB2 Client
Programming Paradigms Files