mandubian / neurocat
From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types
☆135Updated 6 years ago
Related projects: ⓘ
- Limits of Scala typechecking speed☆156Updated 3 years ago
- ☆38Updated this week
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 2 years ago
- A Probabilistic Functional Programming Language DSL in Scala☆63Updated 8 years ago
- Spire's macros for zero-cost operator enrichment☆189Updated 4 years ago
- A dimensional analysis library based on dependent types☆198Updated last month
- A Scala compiler plugin for mutual tail recursion☆88Updated 4 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆66Updated last year
- An exploration of purely functional library design in Scala.☆103Updated 8 years ago
- ☆83Updated this week
- Seamless interop layer between cats and scalaz☆174Updated 3 years ago
- ☆77Updated this week
- ☆263Updated 2 years ago
- ☆80Updated 3 years ago
- A syntax for type-safe effectful computations in Scala☆175Updated 8 years ago
- A compiler plug-in to control object lifetimes in Scala☆63Updated 7 years ago
- Simple, efficient wrapper for fast concatenation/iteration.☆114Updated 6 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Updated 7 years ago
- Automatic argonaut codec derivation with shapeless☆99Updated 3 weeks ago
- A fast and generic immutable radix tree for scala☆96Updated 4 years ago
- Declarative concurrency in Scala - The implementation of the chemical machine☆154Updated 2 years ago
- Operations for primitive and String singleton types☆163Updated last month
- Generic framework for development of domain-specific compilers in Scala☆96Updated 6 years ago
- Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala☆148Updated 2 years ago
- Liberator - sent to make you Free☆89Updated 5 years ago
- Static facades for using TensorFlow in ScalaPy☆35Updated 4 years ago
- Metal - fast unboxed data structures for Scala☆96Updated 6 years ago
- Multisets for Scala☆85Updated 3 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆197Updated 7 months ago
- Supporting material for ScalaWorld 2015.☆99Updated 8 years ago