Projects in Awesome Lists tagged with phantom-types
A curated list of projects in awesome lists tagged with phantom-types .
https://github.com/antonagestam/phantom-types
Phantom types for Python.
mypy phantom-types python python3 refined refined-types refinement-types static-analysis static-typing typing validation
Last synced: 22 Sep 2025
https://github.com/justinwoo/vidtracker
A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally
echarts phantom-types purescript-echarts purescript-halogen
Last synced: 20 Mar 2025
https://github.com/octachron/rational_in_types
Type-level rational puzzles in OCaml
ocaml phantom-types polymorphic-variants
Last synced: 27 Mar 2026
https://github.com/nerdsupremacist/protected
Experimental API for Reads and Writes protected via Phantom types
phantom-types rights safety swift
Last synced: 23 Mar 2025
https://github.com/mrkkrp/tagged-identity
Trivial monad transformer that allows identical monad stacks have different types
haskell monad-transformers phantom-types
Last synced: 20 Sep 2025
https://github.com/chris-martin/multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter
haskell-library monoid phantom-types semigroup
Last synced: 30 Oct 2025
https://github.com/likeinlife/light-types
Create types that respect the invariant. "Parse, don't validate"
phantom-types python3 types value-object
Last synced: 12 Oct 2025
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
https://github.com/dmytromitin/shapeless-circe-patched-type-keytag
https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala
circe codec codecs generic-programming macros metaprogramming phantom-types scala shapeless shapeless-library typeclass typeclass-derivation typeclasses types
Last synced: 21 Sep 2025
