The While* Virtual Machine

A markdown based tool for slide deck creation.

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Repository containing the Destroy Claim Model Specification and the destroyclaim-js library that helps building your own DCAs.

Reimplementation of Gothic 2 Notr

A framework for the elicitation, specification, formalization and analysis of requirements.

SPouT: Symbolic Path Recording During Testing

A constraint solver abstraction layer for Java

Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.

A dynamic symbolic analysis tool for Java

TurnKey artifact for Z3

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

q - Run SQL directly on delimited files and multi-file sqlite databases

Collection of Verification Tasks (MOVED, please follow the link)

The most cited deep learning papers

Top 100 Sublime Text plugin! Markdown syntax highlighter for Sublime Text, with extended support for GFM fenced code blocks, with language-specific syntax highlighting. YAML Front Matter. Works wit…

The Z3 Theorem Prover

SeaHorn Verification Framework

jConstraints abstraction layer for Z3

A dynamic symbolic analysis tool for Java

A constraint solver abstraction layer for Java

📨 IMAP/SMTP sync system with modern APIs