pieter-bos
Scientific Programmer with the VerCors project // Interested in Software Correctness, Formal Methods, Compilers and Language Design
University of TwenteEnschede, Netherlands
Pinned Repositories
3Dto2DApplet
3Dto2DApplet
adhoc-chat
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
campbell
Gmk-Splitter
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
HDDspeed
HDD speed testing utility
Hello-World
Hello World!
mill-cpp
C/C++ plugin for the Mill build tool
Tcp-Test
Tests a tcp server or client by connecting or listening in a nice GUI.
vercors
The VerCors verification toolset for verifying parallel and concurrent software
pieter-bos's Repositories
pieter-bos/adhoc-chat
pieter-bos/campbell
pieter-bos/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
pieter-bos/python-telegram
An unofficial implementation of the Telegram API
pieter-bos/smt-multiplex
pieter-bos/smtparse
pieter-bos/snek
pieter-bos/z3-bench
pieter-bos/mill-cpp
C/C++ plugin for the Mill build tool
pieter-bos/atom-language-pvl
pieter-bos/bitwarden_rs
Unofficial Bitwarden compatible server written in Rust
pieter-bos/build-server-protocol
Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.
pieter-bos/codejam-2014
pieter-bos/di-session2
pieter-bos/di-session5
pieter-bos/etc
/etc/*
pieter-bos/fp-project
pieter-bos/mill
Your shiny new Java/Scala build tool!
pieter-bos/minielf
Minimal implementation of ELF that can produce an executable binary from scratch
pieter-bos/node-smb2
SMB2 Client
pieter-bos/pda
pieter-bos/pieter-bos.github.io
pieter-bos/programming-paradigms
Programming Paradigms Files
pieter-bos/protoc-bridge
Allows writing protoc plugins (code generators) in Scala and Java
pieter-bos/sbt-antlr4
Antlr4 plugin for sbt 1.x and 0.13.x
pieter-bos/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
pieter-bos/silver
Definition of the Viper intermediate verification language.
pieter-bos/VCLLVM
A Transformation Tool for LLVM IR programs to aid Deductive Verification
pieter-bos/vercors-doc
pieter-bos/vercors-lean
Personal experiments in theorem proving about VerCors / Viper / COL