Stars
Lean formalisation of uniqueness types for subsets of Kotlin
🕒 A kinetic wall clock, built using Compose Multiplatform
A listing of compiler, language and runtime teams for people looking for jobs in this area
AeroSpace is an i3-like tiling window manager for macOS
Koog is a JVM (Java and Kotlin) framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-b…
Compose Multiplatform Configurable Project Template
Kotlin Multiplatform Authentication Library targetting android, iOS, desktop and web
Distributed Systems Course at CS HSE
User-friendly secure computation engine based on secure multi-party computation
Women With HRT Bookbuilder Workshop
Galois: C++ library for multi-core and multi-node parallelization