BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Cleaner and Formatter for BibTeX files

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

The Z3 Theorem Prover

JavaSMT - Unified Java API for SMT solvers.

🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.

Use Lilygo T5-4.7 inch ESP32-S3 (aka "plus"/V2.3) e-paper module with ESPHome

ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.

Public appearance guidelines and logos

GitHub Actions for building LaTeX and Markdown documents

Compiles your TS app and restarts when files are modified.

Thesis works in FTSRG

Refinery: an efficient graph solver for generating well-formed models

This is a folder collecting the benchmark results from the teams.

A Simple ESP32 Arduino Bluetooth A2DP Library (to implement a Music Receiver or Sender)

An LLVM-based formal verification frontend for C programs.