Starred repositories
An introduction to programming language theory in Agda
Programming Language Foundations in Agda and Arend
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
IntelliJ plugin to limit your work-in-progress
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
The changelog is cast, let the versions fall where they may.
A massively parallel, optimal functional runtime in Rust
Browser extension for bundling emails in Gmail
System F-omega normalization by hereditary substitution in Agda
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.
A library for testing Kotlin and Java annotation processors, compiler plugins and code generation
Multiplatform text styling for Kotlin command-line applications