Formalization of Mathematical Logic

A web-based monitor dashboard for GitLab CI

Gitlab CI Dashboard will provide you a global overview of all pipelines, schedules and their status within a single group

Parser-combinators with Multiplatform Kotlin Coroutines

Terraform Provider for Mikrotik RouterOS

Parsing HTML at the command line

IntelliJ plugin to limit your work-in-progress

Upgrade all the things

Lean 4 programming language and theorem prover

A plugin for generating BuildConstants for any kind of Gradle projects: Java, Kotlin, Groovy, etc. Designed for KTS scripts.

SQLDelight - Generates typesafe Kotlin APIs from SQL

Arrow Analysis Plugin

The changelog is cast, let the versions fall where they may.

A massively parallel, optimal functional runtime in Rust

Advent of Code 2021 - my answers

Browser extension for bundling emails in Gmail

A modern proof language

LaTeX Templates for TU Darmstadt

System F-omega normalization by hereditary substitution in Agda

AppMap client agent for Java

Interactive polyhedra explorer with animated transformations

Turns a Retrofit service interface into Ktor routing

Shows how to migrate from a Imperative Programming model to a Reactive Programming model step-by-step, while keeping caching

Faking your webcam background under GNU/Linux, now supports background blurring, animated background, colour map effect, hologram effect and on-demand processing.

Foundational libraries for Kotlin

A library for testing Kotlin and Java annotation processors, compiler plugins and code generation

Multiplatform text styling for Kotlin command-line applications

✏️ Method call logging for Kotlin Multiplatform

Easily build reactive web-apps in Kotlin based on flows and coroutines.