Typed Kotlin DSL framework for AI agent systems.

Sarcasm is an SDK for creating typesafe, domain-bound grammars. It also has a grammar driven general unparser.

A systems language with compile-time capability enforcement

Access private members with compile-time safety

A Java library for working with `byte[]` and `ByteBuffer` through unified, segmented byte-array views with compile-time read-only, write-only, and read-write access control, plus support for 64-bit indexing, slicing, and joining across multiple buffers.

A formally sealed Rust machine enforcing structural impossibility via typestate. Zero runtime, zero dependencies, no_std. Compile-time proof that invalid state transitions cannot exist.

Compile-time safe enum mapping for C# using source generators. Never worry about missing enum mappings again.