btj
Associate professor of computer science, focusing on formal program verification.
imec-DistriNet, KU LeuvenLeuven, Belgium
Pinned Repositories
atoms
beoi18-krokuscursus
ch2o-compcert
Soundness of CH2O with respect to CompCert C
drawit_part2
find
interval_2020
jlearner
Visualize the execution of Java snippets in the browser
ocaml-gtk
ogp-notes
ogptaglets
Javadoc taglets for the OGP course
btj's Repositories
btj/beoi18-krokuscursus
btj/libsodium
Verifying Libsodium with VeriFast
btj/purecollections
Purely functional data structures for Java
btj/AutoVeriFast
Extends VeriFast with Auto Predicates and AutoFix functionality. Status: early work in progress.
btj/beoi.be-oi.be
Website of the beOI contest
btj/capsules
A static encapsulation checker and doclet for multi-package Java modules
btj/hacl
Experimental High Assurance Cryptographic Library
btj/HACS-workshop-links
Links to stuff arising from or related to the HACS workshop.
btj/homebrew-core
🍻 Default formulae for the missing package manager for macOS
btj/iris-io
btj/jikespg
Philippe Charles's LALR Parser Generator. It was used to build the Eclipse Java compiler, as well as many of IBM's product compilers.
btj/MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
btj/notnullcheckweaver
Dynamically enforces @NotNull annotations in Java programs through run-time bytecode instrumentation
btj/ocaml
The core OCaml system: compilers, runtime system, base libraries
btj/PowerShell-Docs
The official PowerShell documentation sources
btj/s4jie
Specs (= method pre- and postconditions) for Java in Eclipse
btj/tpw