phantom-types

Phantom types for Python.

A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally

Type-level rational puzzles in OCaml

A compact swift mocking library powered by parameter packs.

Experimental API for Reads and Writes protected via Phantom types

Trivial monad transformer that allows identical monad stacks have different types

Type-first, compile-time checked dependency injection for TypeScript. Zero decorators, zero reflect-metadata, <1KB.

Multiple typeclass instances, selected by explicit application of a phantom type parameter

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Example of PhantomType

Phantom-typed value wrappers for zero-cost type safety in Swift.

Create types that respect the invariant. "Parse, don't validate"

Generic programming for Scala

This Is Not The Configuration Talk You Are Looking For

Typesafe Github GraphQL API client.

Typesafe Github GraphQL Client

A functional, type-safe framework for executing Linux commands from Scala programs.

The Carrier super-protocol for phantom-typed value wrappers in Swift.

Branded, strongly-typed identifiers for Go. Phantom types prevent mixing entity IDs at compile time. Zero-allocation, stdlib-only, with full serialization (JSON, SQL, Text, Binary, Gob).

Code examples used in my talk "This Is Not The Configuration Talk You Are Looking For"