A prototype language for experimenting with type systems, built with Rust and LLVM

Prototypes for Apollo++, a tool for automated assessment of programming projects

Engage!

AI Commit Messages Autocomplete for InteliJ

SLEBoK/SLEG web frontend

A new Categories library for Agda

A metric analysis framework for Scala used to research multi-paradigm metrics

ICFP 2020 papers. Crowd-sourced

Project Ariana - a webbased image editing solution.

Papers from the computer science community to read and discuss.

UNMAINTAINED: Continuous integration server

Index of the Master's projects that were started in year 2013-2014

FIXML Case for the TTC 2014

The extensive approach to SLE bibliography

Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.

A textbook on informal homotopy type theory

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Integrated database of papers and programme committee composition for software engineering conferences.

Convert (ETL) and visualize free Dutch geo-datasets.

OpenRefine is a free, open source power tool for working with messy data and improving it

GrammarLab

The CryptoParty Handbook

This is a small script to generate Wiki tables of _gemeentelijke monumenten_ out of a MySQL database. It also features a geocoding option. It might get bigger if I choose to expand it with queries …

pdf watermark removal library for academic papers

The Stratego program transformation language

Vigil, the eternal morally vigilant programming language

Nuthatch/J – A software transformation library based on tree walking

Fork-ish repo for the website of SLPS

Bibtex files of past ICSE conferences.