Typesafe Github GraphQL API client.
-
Updated
Jun 20, 2020 - Scala
#
phantom-types
Here are 7 public repositories matching this topic...
Typesafe Github GraphQL Client
-
Updated
Oct 7, 2020 - Scala
A functional, type-safe framework for executing Linux commands from Scala programs.
-
Updated
Dec 2, 2019 - Scala
Generic programming for Scala
dependent-types scala macros generic-programming singleton-types typeclasses heterogeneous-lists hlist phantom-types typelevel-programming coproduct polymorphic-functions typeclass-derivation
-
Updated
Apr 25, 2024 - Scala
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types
-
Updated
Jan 26, 2025 - Scala
Code examples used in my talk "This Is Not The Configuration Talk You Are Looking For"
-
Updated
May 21, 2018 - Scala
scala types metaprogramming macros generic-programming shapeless circe typeclass codec typeclasses phantom-types shapeless-library codecs typeclass-derivation
-
Updated
Nov 12, 2022 - Scala
Improve this page
Add a description, image, and links to the phantom-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the phantom-types topic, visit your repo's landing page and select "manage topics."