Functional companion to Kotlin's Compiler

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

A simple, serializable sum-type format

A micro-library to derive a typeclass for Scala 3 Union types.

MIRROR of https://codeberg.org/catseye/Castile : A simple imperative language with union types (and a compiler for same, with multiple targets)

Since Kotlin doesn't have union types, I made a quick union type library

Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.

UnionType implementation for Java

Sample project for "String Literal Type Guard in TypeScript" blogpost

Extendable PHP metadata analysis and pre-processing. Based on jms/metadata.

General-purpose disjoint union type (Left/Right) for values with two possible types