Cross-language type safety. Insightful machine learning. Joyful CSS design. Try for yourself our APIs, SDKs, or libraries.
ST for stateful effects

Dep injection, typed throw, always infer.

Lightest JS library to give you testing, typed & throwable errors, typed APIs, dependency injection. TypeScript optional.

First-class errors, parameters, dependencies, services. Everything composable. Throw well-typed errors, catch tagged unions, bypass the FP / OOP divide. Never write a class, generator, or monad transformer.

@arksouthern/st
@arksouthern/jsx
@arksouthern/luna
@arksouthern/sdk

MX
MatchAs

MatchAs shows different HTML based on a simple rule, like a traffic light. MatchAs replaces nested ternaries more concisely. Easy to work on, simple to read. The full expressiveness of pattern matching libraries, none of the runtime.
TypeScript's Discriminated Unions.

jsx/mx
MatchAs
Lose messy business logic. Drop the runtime. Shrink the bundle size. TypeScript's most useful feature.

AX
A.* Div

A.*'s Div is the fastest, simplest, most powerful way to add readability to JSX. Architect your JSX more readable requiring no extra work from you. No extracting components. No extra files. No hidden codegen.
The most useful five lines of TypeScript.

jsx/ax
A.* Div
A better way to write JSX. Short, clean, HTML code. More readable, less verbose.

Ark
Luna

An OS-as-an-app that runs on any platform, easily themed, that includes a GitHub-backed app store, private local hosting, a retro 2005 desktop UI, 100% terminal compatibility, that offers type safe APIs for app devs.

@arksouthern
Ark Luna
Full UI component library, OS APIs, app SDKs & store. From WebSocket to windowing.
Ark Southern|Developers
Dep injection, typed throw, always infer.

Lightest JS library to give you testing, typed & throwable errors, typed APIs, dependency injection. TypeScript optional.


First-class errors, parameters, dependencies, services. Everything composable. Throw well-typed errors, catch tagged unions, bypass the FP / OOP divide. Never write a class, generator, or monad transformer.