noelwelsh / fdlLinks
Simple implementations of forward- and backward-mode automatic differentation in Scala
☆23Updated 6 years ago
Alternatives and similar repositories for fdl
Users that are interested in fdl are comparing it to the libraries listed below
Sorting:
- skema morphisms☆89Updated this week
- A recursion schemes micro-library☆21Updated 4 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 6 years ago
- A monad for resource acquisition and cleanup☆53Updated 6 years ago
- Library to support automatic labeling of ScalaCheck properties.☆69Updated 6 months ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 5 years ago
- Transform and compose tagless final encoded algebras in scala☆94Updated 6 years ago
- A utility harness for testing free programs (built on specs2)☆29Updated 4 years ago
- Multisets for Scala☆85Updated 3 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- Type calculations at compile time☆40Updated 5 years ago
- ☆46Updated 5 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Updated 6 years ago
- Cats Bifunctor IO☆79Updated 6 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆40Updated 9 years ago
- A high-performance, purely-functional library for doing computational analysis and statistics over data in a type-safe way☆64Updated 6 years ago
- Everything you need to make type classes first class.☆61Updated 9 years ago
- Probabilistic programming in Scala☆34Updated 11 years ago
- macro for summoning implicit values☆92Updated 5 years ago
- IO types and classes for Scala.☆42Updated 8 years ago
- Type safe delta☆55Updated 6 months ago
- Skeleton SBT project for shapeless workshop @ after Scala eXchange 2014☆23Updated 10 years ago
- Example code from my presentation on shapeless type class derivation☆28Updated 9 years ago
- Fun and Games with Fix, Cofree, and Doobie☆41Updated 8 years ago
- A dimensional analysis library based on dependent types☆198Updated 9 months ago
- A Scala compiler plugin for mutual tail recursion☆88Updated 5 years ago
- Provides protection against cascading failures and system overload.☆28Updated last year
- ☆115Updated 3 years ago
- Finally Tagless Blocking Implementation☆92Updated 3 years ago