ajknapp / accelerate-ad
Combinatory automatic differentiation in Haskell for heterogeneous computing.
☆21Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for accelerate-ad
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Dependently typed convolutional neural networks☆34Updated 7 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆26Updated 5 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Haskell bindings to the Eigen C++ library☆16Updated 5 months ago
- backprop primitives for hmatrix☆13Updated 4 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 3 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- topos programming☆31Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Quiver stream processing library☆15Updated 8 years ago
- ☆18Updated 5 years ago
- ☆20Updated last year
- Sort any Traversable container☆41Updated 2 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- probabilistic programming in Haskell☆17Updated 8 years ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- DIY Markov Chains.☆23Updated last week
- making data science easy and safe with data frames in haskell☆27Updated 7 years ago