A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
A static website generator that generates a website from a HTML skeleton. Includes easy extension through template strings and automatic image web optimization. Written entirely in Haskell
An operating system development testbed for x86 machines. This project takes care of image creation, bootloading, and initial kernel setup. The kernel is written in Rust, while the bootloader is wr…
Scribble is a scripting language, register-based IR, and interpreter designed to be embedded in large applications. The language has a simple syntax, is garbage collected, and supports type inferen…