mstksg / hmatrix-backprop
backprop primitives for hmatrix
☆13Updated 4 years ago
Alternatives and similar repositories for hmatrix-backprop:
Users that are interested in hmatrix-backprop are comparing it to the libraries listed below
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- ☆20Updated 2 years ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- Quiver stream processing library☆15Updated 8 years ago
- Combinators for manipulating dependently-typed predicates.☆12Updated 6 months ago
- Fast unboxed references for ST and IO monad☆15Updated 7 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- A collection of computational methods in science.☆12Updated 8 years ago
- ☆11Updated last year
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 8 months ago
- Overloaded plugin☆30Updated 7 months ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Compile-time checking for partial smart-constructors☆21Updated last year
- ☆20Updated last year
- HTML to Hamlet converter☆16Updated 5 years ago
- Haskell binding for Bullet physics engine☆23Updated 4 years ago
- Fast ByteString Builder☆21Updated 5 months ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- the 'invariant' Haskell package for invariant functors☆15Updated last month
- Staged Streams and other stuff☆18Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated last month
- Show programming language printed values in a web UI☆24Updated 5 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated last year
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Maps using values' monoidal structure during merging☆42Updated last month