Topic: "phantom-types"
antonagestam/phantom-types
Phantom types for Python.
Language: Python - Size: 2.11 MB - Last synced at: 10 days ago - Pushed at: 26 days ago - Stars: 213 - Forks: 9
justinwoo/vidtracker
A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally
Language: Nix - Size: 3.35 MB - Last synced at: 25 days ago - Pushed at: almost 5 years ago - Stars: 72 - Forks: 7
Octachron/rational_in_types
Type-level rational puzzles in OCaml
Language: OCaml - Size: 22.5 KB - Last synced at: 22 days ago - Pushed at: almost 9 years ago - Stars: 24 - Forks: 1
nerdsupremacist/Protected
Experimental API for Reads and Writes protected via Phantom types
Language: Swift - Size: 67.4 KB - Last synced at: 24 days ago - Pushed at: almost 3 years ago - Stars: 11 - Forks: 0
mrkkrp/tagged-identity
Trivial monad transformer that allows identical monad stacks have different types
Language: Haskell - Size: 83 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0
chris-martin/multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter
Language: Haskell - Size: 26.4 KB - Last synced at: 21 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
likeinlife/light-types
Create types that respect the invariant. "Parse, don't validate"
Language: Python - Size: 38.1 KB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
HirotoShioi/PhantomType
Example of PhantomType
Language: Haskell - Size: 4.88 KB - Last synced at: 2 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 324 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
mayankrastogi/functional-command-executor
A functional, type-safe framework for executing Linux commands from Scala programs.
Language: Scala - Size: 65.4 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Vincibean/config-talk
This Is Not The Configuration Talk You Are Looking For
Language: JavaScript - Size: 7.02 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
DmytroMitin/shapeless Fork of milessabin/shapeless
Generic programming for Scala
Language: Scala - Size: 6.12 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
DmytroMitin/shapeless-circe-patched-type-keytag
https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala
Language: Scala - Size: 206 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
samujjwaal/typed-ghgraphql
Typesafe Github GraphQL Client
Language: Scala - Size: 283 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
askmrsinh/typed-ghgraphql
Typesafe Github GraphQL API client.
Language: Scala - Size: 290 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
itkpi/h-api
Phantom type to abstract over API
Language: Scala - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
Vincibean/config-talk-code
Code examples used in my talk "This Is Not The Configuration Talk You Are Looking For"
Language: Scala - Size: 18.6 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0