An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: newtypes

gvolpe/pfps-shopping-cart

:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Language: Scala - Size: 1.63 MB - Last synced at: 5 days ago - Pushed at: 11 days ago - Stars: 539 - Forks: 169

sagoez/practical-fp-in-scala-playground

The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Language: Scala - Size: 89.8 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

gvolpe/pfps-examples

:izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

Language: Scala - Size: 451 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 198 - Forks: 69

gvolpe/shopping-cart-haskell

:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Language: Haskell - Size: 159 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 64 - Forks: 6

wbbradley/ace

A statically-typed strictly-evaluated garbage-collected readable programming language.

Language: C++ - Size: 25.8 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 46 - Forks: 2

Tvaroh/tagged-types

Zero-dependency boilerplate-free tagged types for Scala

Language: Scala - Size: 75.2 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 36 - Forks: 1

manufacturist/newtypes-tapir-example

Proof of concept for monix/newtypes and Tapir integration

Language: Scala - Size: 35.2 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

MarcelineVQ/idris2-elab-deriving

implementation deriving for idris2

Language: Idris - Size: 180 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 1

braunse/eso

Type-level building blocks for making Cow-like containers in Rust

Language: Rust - Size: 85.9 KB - Last synced at: 10 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

dabliuw22/prueba-s4n-haskell

Language: Haskell - Size: 154 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

gvolpe/types-matter

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

Language: Haskell - Size: 34.2 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 0