Kotlin Evolution and Enhancement Process

IntelliJ IDEA & IntelliJ Platform

A fast dependency injector for Android and Java.

Kotlin Symbol Processing API

The Kotlin Programming Language.

The pure asynchronous runtime for Scala

Principled Functional Programming in Scala

An archive of notes from Flix development meetings

A set that just requires equality.

Static program analysis for TIP

GUI (MVC) library in Flix

Website for åndsliv.dk

⭐️ A friendly language for building type-safe, scalable systems!

Code. Music. Live.

Formalisation of a capability machine and principles for reasoning about security properties

Breaking change detector for npm

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

A fast, friendly, functional language.

The Lux Programming Language

Rust support for Mist Cloud

My custom LaTeX preambles for you to use!

A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.

A markup-based typesetting system that is powerful and easy to learn.

Banquet implementation