GitHub topics: coproduct
sksamuel/avro4s
Avro schema generation and serialization / deserialization for Scala
Language: Scala - Size: 2.72 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 727 - Forks: 241
palatable/lambda
Functional patterns for Java
Language: Java - Size: 5.57 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 875 - Forks: 85
lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language: Rust - Size: 12.8 MB - Last synced at: 26 days ago - Pushed at: 3 months ago - Stars: 1,370 - Forks: 63
frees-io/iota
Fast [co]product types with a clean syntax. For Cats & Scalaz.
Language: Scala - Size: 428 KB - Last synced at: 22 days ago - Pushed at: almost 6 years ago - Stars: 177 - Forks: 22
DmytroMitin/shapeless Fork of milessabin/shapeless
Generic programming for Scala
Language: Scala - Size: 6.12 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
hermannhueck/learning-shapeless
Learning Shapeless
Language: Scala - Size: 239 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
gvolpe/free-as-a-monad
Running 2 or more algebras with Coproduct and Inject when using the Free Monad
Language: Scala - Size: 8.79 KB - Last synced at: 6 days ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0
aedans/Kop
A small coproduct library for Kotlin.
Language: Kotlin - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
Risto-Stevcev/bs-either 📦
DEPRECATED
Language: OCaml - Size: 10.7 KB - Last synced at: 28 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
nabond251/dotnet-sealed-unions
.NET port of Francisco (Paco) Estévez's JavaSealedUnions (https://github.com/pakoito/JavaSealedUnions).
Language: C# - Size: 83 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
colomboe/java-fp
Utilities and conventions for functional domain modelling in Java
Language: Java - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1
BakerSmithA/alacarte-idris
Data Types à la Carte extensible syntax and semantics, implemented in Idris.
Language: Idris - Size: 25.4 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
mtumilowicz/java11-category-theory-set-coproduct
Proof and implementation of coproduct in Set category.
Language: Java - Size: 59.6 KB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
mtumilowicz/scala212-category-theory-set-semiring
Implementation and proof that Set category is semiring with product and coproduct.
Language: Scala - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
calvinlfer/free-monad-coproduct-example
Free Monad composition using Monad Coproducts from FreeK
Language: Scala - Size: 4.88 KB - Last synced at: 7 days ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 1
Risto-Stevcev/idris-functors
Bifunctors and functor products, coproducts, and composition
Language: Idris - Size: 5.86 KB - Last synced at: 15 days ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0
typedefs/tdlc
compiler
Size: 92.8 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
