A Kotlin API for generating .kt source files.

A mod adding compartmental storage for Minecraft Forge

Framework for testing concurrent data structures

Lightweight annotation-based config library for Minecraft Java mods. Compatible with Fabric, Quilt and NeoForge!

Android Bluetooth HID Device sample by Kotlin

Explore fractals in an audio-visual sandbox

Android app to buzz notifications as Morse Code

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Accessible, Data-Driven, Dependency-Free Documentation for Minecraft Modders and Pack Makers

IntelliJ plugin to limit your work-in-progress

IntelliJ plugin for writing IntelliJ plugins at runtime ⚡️

Computer Graphics Experiments

Natural language tactics to teach mathematics using Lean 4

White-box automation for Lean 4

An app for manga and anime

Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.

The Mod Developer Kit - this is where you start if you want to develop a new mod

Neo Modding API for Minecraft, based on Forge

The "batteries included" extended library for the Lean programming language and theorem prover

LaTeX support for the IntelliJ platform by JetBrains.

Lean 4 programming language and theorem prover

Lean 3 Theorem Prover (community fork)

The math library of Lean 4

A set of plugins to simplify Gradle release tasks

Plugin for viewing PDF documents in IntelliJ-based IDEs.

Grammar files support & parser/PSI generation for IntelliJ IDEA

A Vulkan / WebGPU / OpenGL engine for Desktop JVM, Android and Javascript written in Kotlin

IntelliJ IDEA Community Edition & IntelliJ Platform

Kotlin Language Interactive Shell

Lightweight and high-performance jackson-module-kotlin