typelevel
Here are 116 public repositories matching this topic...
C++ Flavored Template Metaprogramming in Scala
-
Updated
Mar 27, 2017 - Scala
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
-
Updated
Jun 23, 2017 - Scala
A giter8 template for using Phyto Plankton with Typelevel Scala
-
Updated
Jul 2, 2017 - Scala
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
-
Updated
Oct 19, 2017 - Scala
Movie library service written in a functional way using Typelevel stack.
-
Updated
Apr 12, 2018 - Scala
An example of wrapping a callback based Java API in a purely functional way.
-
Updated
May 11, 2018 - Scala
FP Scala Back-end of the Smart Backpacker App
-
Updated
Jun 19, 2018 - Scala
A specialized Semaphore implementation that provides a number of permits in a given time frame.
-
Updated
Jun 28, 2018 - Scala
A playground project for examples of using MTL with classy lenses
-
Updated
Sep 21, 2018 - Scala
Materialize bindings à la purescript-smolder.
-
Updated
Oct 23, 2018 - PureScript
🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.
-
Updated
Jan 5, 2019 - Scala
-
Updated
Jan 30, 2019 - Scala
Implementation of differential privacy in Haskell
-
Updated
Apr 28, 2019 - Haskell
📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
-
Updated
May 5, 2019 - Scala
Notes, examples, scripts I used for a primer on cats-effect comparing to Scala Future
-
Updated
May 15, 2019 - Scala
Improve this page
Add a description, image, and links to the typelevel topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typelevel topic, visit your repo's landing page and select "manage topics."