Topic: "datatype-generic-programming"
lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language: Rust - Size: 11.9 MB - Last synced at: 29 days ago - Pushed at: 4 months ago - Stars: 1,349 - Forks: 59
amanda81930/week1Assignment
CLI Source Control and Variables
Size: 1.26 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
rodrigovedovato/hodgp-origami
This code is based on the Design Patterns as High-Order Datatype-Generic Programs, by Jeremy Gibbons
Language: Scala - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
ruudkoot/instant-zipper
Zipper in Instant Generics
Language: Haskell - Size: 341 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
