Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Purescript Typelevel Prelude | 62 | 69 | 2 years ago | May 22, 2018 | 8 | bsd-3-clause | PureScript | |||
Types and kinds for basic type-level programming | ||||||||||
Purescript Typelevel Eval | 37 | 1 | 2 years ago | August 11, 2018 | 2 | mit | PureScript | |||
Higher order functional programming in PureScript's type system | ||||||||||
Category Parametric Talk | 22 | 4 years ago | Scala | |||||||
Talks on category-parametric programming. | ||||||||||
Notes | 19 | 2 years ago | 13 | Scala | ||||||
Programming notes | ||||||||||
Scalawave Typelevel Workshop | 16 | 7 years ago | Scala | |||||||
Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop | ||||||||||
Scala Functional Programming Tutorial | 16 | 3 years ago | Scala | |||||||
Functional Programming in Scala Tutorial | ||||||||||
Typelevel Programming Scala | 15 | 8 years ago | mit | Scala | ||||||
TypeLevel Programming in Scala | ||||||||||
Purescript Type Isequal | 5 | 4 years ago | July 03, 2018 | mit | PureScript | |||||
Type equality check returning a Boolean kind. Useful for type-level programming. |