A toolkit for the JavaModelingLanguage: Parsing, AST, Prettyprinting and more.

Hugo theme for open source documentation

Weighs the soul of incoming HTTP requests to stop AI crawlers

NetworKit is a growing open-source toolkit for large-scale network analysis.

Read Javadoc comments at run time.

A fancy self-hosted monitoring tool

Building modern, elegant and fast desktop Compose applications

This repo is the new home of Proof General

Spoofax runtime

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.

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

Kotlin DSLs generator (not an AI)