Skip to content
View ffrohn's full-sized avatar
8 followers · 1 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@aprove-developers

Block or report ffrohn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

aprove-developers / KoAT2-Releases

Complexity Analysis Tool for Integer Programs

OCaml 14 1 Updated Jan 30, 2026

usi-verification-and-security / golem

Solver for Constrained Horn Clauses

C++ 51 7 Updated Apr 2, 2026

Chrobelias / Chrobelias

Chrobak normal form-based Exponential-Linear Integer Arithmetic Solver

OCaml 8 1 Updated Apr 4, 2026

LoAT-developers / LoAT

Loop Acceleration Tool for Integer Programs

C++ 9 8 Updated Apr 2, 2026

wanglongqi / WriteTeX

An Inkscape extension: Latex/Tex editor for Inkscape

Python 218 26 Updated Dec 30, 2025

ffrohn / piraten_map_server

Forked from boombuler/piraten_map_server
PHP 1 Updated May 26, 2012

boombuler / piraten_map_server

PHP 8 5 Updated Jun 28, 2013