Wael Boutglay

SuperString. A fast and memory-optimized string library for C++

superstring.py. A fast and memory-optimized string library for heavy-text manipulation in Python

mammouth. Unfancy PHP

locallydb. An easy-to-use and lightweight local storage database for node.js and node-webkit

zazate.js. Music theory and notation library for javascript and node.js

massif.js. Visualize Valgrind Massif memory consumption online.

akal. Experimental library-based operating system for Raspberry Pi 3

selfie. An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

tapis. Tool from CAV'25 paper "Data-driven Verification of Procedural Programs with Integer Arrays"