The world’s fastest framework for building websites.

Rich-text area for JavaFX

Modern JavaFX CSS theme collection with additional controls.

Icon packs for Java applications

A collection of JavaFX controls and utilities.

Automate the process of detecting similarities between code for a collection of computer science assignments.

A framework for easily creating a UI for application settings / preferences.

The Ott tool for writing definitions of programming languages and calculi

A verification toolchain for Rust programs

Proof assistant based on the λΠ-calculus modulo rewriting

Documentation for the KeY Theorem Prover

The Ultimate program analysis framework.

Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers

Static analysis of IEC 61131-3 programs

The main development version of the PRISM model checker.

A suite of utilities for converting to and working with CSV, the king of tabular file formats.

Python package for statistical data animations

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

Material (mostly slides) for a graduate course on (formal) software analysis.

KeY for Proof Repositories

Kabu generates code for complex Kotlin DSLs in less than 1 minute

A library of material components for JavaFX

A static verifier for concurrent C programs

Symbolic-execution-based verifier for the Viper intermediate verification language.

A library to generate LaTeX expression from Python code.

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…

Boogie

Simple Theorem Prover, an efficient SMT solver for bitvectors