The verification layer for the AI-coding era. Finds the money, quantity, rounding, and date bugs that AI writes and LLM code-reviewers miss — and hands you the exact input that breaks your code.

Make every UI situation resolve to an intentional outcome.

A modern TSX-based framework for building fast, component-driven web applications.

livestate.io client

Temporal-logic hypothesis combinators for the Causl bounded enumerator (SPEC §16.5).

Architecture Ground Language — verifiable specifications for agents, humans, and CI

A collection of spicy React hooks

A simple and lightweight React hook for managing a counter state.

A lightweight Maybe type for fp-ts

Command-line interface for txfence — simulation, policy checks, dry-runs, replay, intent execution, formal verification, and provenance.

A testing utility for exhaustively testing combinations of variables. Makes it easy to define expected outcomes, and generates a nice, easy-to-read table of results.

A SwiftUI-inspired library for building web interfaces with a fluent API

reactive hooks for Arfa JS framework (ref, onMounted, onEffect)

A powerful TypeScript library for generating and validating propositional logic truth tables. Inspired by Carnap's truth table implementation, this library provides a flexible API for creating, manipulating, and validating truth tables for propositional l

SMT-backed semantic diff tool for TypeScript business logic. Proves equivalence or finds counterexamples.

Better Application Development

TypeScript fuzz/property testing utilities with test runner integrations