The source for the website of the ShiftLeft project

SDL3 bindings for rust

Safe and rich Rust wrapper around the Vulkan API

Tool implementing Property Probes

JFeature is a static analysis tool designed to help researchers extract information on Java features usage in their projects.

Information and resources for the Amiga classic Amberstar

Ambermoon rewrite in C#

WARA-SW software corpus and "offline" tool evaluation platform

IntraJ repository

MetaDL: Datalog analyzing Datalog, Java or any language of your choice

converted archive of FreeSCI darcs repository

WASP Research Arena for Software