Typelevel Programming Scala

TypeLevel Programming in Scala
Alternatives To Typelevel Programming Scala
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Purescript Typelevel Prelude62
692 years agoMay 22, 20188bsd-3-clausePureScript
Types and kinds for basic type-level programming
Purescript Typelevel Eval37
12 years agoAugust 11, 20182mitPureScript
Higher order functional programming in PureScript's type system
Category Parametric Talk22
4 years agoScala
Talks on category-parametric programming.
Notes19
2 years ago13Scala
Programming notes
Scalawave Typelevel Workshop16
7 years agoScala
Slides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop
Scala Functional Programming Tutorial16
3 years agoScala
Functional Programming in Scala Tutorial
Typelevel Programming Scala15
8 years agomitScala
TypeLevel Programming in Scala
Purescript Type Isequal5
4 years agoJuly 03, 2018mitPureScript
Type equality check returning a Boolean kind. Useful for type-level programming.
Alternatives To Typelevel Programming Scala
Select To Compare


Alternative Project Comparisons
Popular Programming Projects
Popular Typelevel Projects
Popular Learning Resources Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Scala
Programming
Functor
Typelevel