Ecosyste.ms: Repos

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

GitHub topics: datatype-generic-programming

lloydmeta/frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Language: Rust - Size: 11 MB - Last synced: 18 days ago - Pushed: 28 days ago - Stars: 1,206 - Forks: 56

amanda81930/week1Assignment

CLI Source Control and Variables

Size: 1.26 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ruudkoot/instant-zipper

Zipper in Instant Generics

Language: Haskell - Size: 341 KB - Last synced: about 1 year ago - Pushed: over 7 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: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

Related Keywords
datatype-generic-programming 4 origami 1 jeremy-gibbons 1 hodgp 1 functional-programming 1 zipper 1 variables-in-javascripts 1 operations 1 javascript 1 java 1 github 1 git 1 eclipse-ide 1 command-line 1 cmd 1 validated 1 type-level-programming 1 type-level 1 rust 1 lenses 1 labelled-generic 1 hlist 1 generic-programming 1 generic 1 fp 1 coproduct 1