Star
Karina
Modern. Concise. Interoperable.

Statically Typed

Karina is built on top of the JVM’s robust type system, ensuring strong and reliable type safety. It extends this foundation with modern syntax and additional features that make working with types more safe and intuitive.

Modern Design

Karina’s syntax and design are heavily influenced by modern programming languages, striking a balance between simplicity and power. With features like sum types, first-class functions, and strong type inference, Karina helps you write clean, efficient, and maintainable code.

Java Interoperability

Karina is designed to be fully interoperable with Java, allowing you to use existing Java libraries and frameworks seamlessly. This means you can leverage the vast Ecosystem of Java while enjoying the benefits of Karina's modern features.

Placeholder Image

Documentation

Placeholder Image

Download

Placeholder Image

Tooling

Placeholder Image

Source Code

Placeholder Image

Roadmap

Placeholder Image

Contributors