resurrected LLVM "C Backend", with improvements

📦 Containers used for executing Dodona exercises

Judge for evaluating control flow charts

D2 is a modern diagram scripting language that turns text to diagrams.

A verification tool for many memory models

Text-based user interface CSS library

3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns

A repository of gate-level simulators and tools for the original Game Boy.

Application Binary Interface for the Arm® Architecture

A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen

A scraper for obtaining information on the workings of the Belgian Federal Parliament.

Build your personal knowledge base with Trilium Notes

NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Papers from the computer science community to read and discuss.

A collection of links related to Linux kernel security and exploitation

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

Recent Fuzzing Paper

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A practical attack framework for precise enclave execution control

Modern Memory Safety in C/C++

Open source Structure-from-Motion pipeline

A large scale non-linear optimization library

open Multiple View Geometry library. Basis for 3D computer vision and Structure from Motion.

A curated list of papers & resources linked to 3D reconstruction from images.

Download an entire website from the Wayback Machine.

The Lensfun project Git repository

darktable is an open source photography workflow application and raw developer