leptonyu / tensors
Tensors in Haskell
☆40Updated 2 months ago
Alternatives and similar repositories for tensors:
Users that are interested in tensors are comparing it to the libraries listed below
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Pre-processor for .hsc files☆40Updated last week
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Serializable closures for distributed programming.☆64Updated last year
- HoTT Note-taking action☆25Updated 6 years ago
- ☆40Updated 6 years ago
- Dependently typed convolutional neural networks☆35Updated 7 years ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- Haskell 98 Profunctors☆71Updated 9 months ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- haskell memory☆48Updated last year
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- higher-kinded data☆30Updated last year
- Thesis☆38Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated 11 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 weeks ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Priority Search Queues in three different flavors for Haskell☆66Updated last month
- Simple reflection of expressions☆33Updated 3 years ago
- Julia embedded in Haskell☆53Updated 3 months ago
- dependent types meets deep learning☆43Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Haskell library containing common graph search algorithms☆52Updated 4 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Type-level well-kinded natural numbers.☆34Updated 2 months ago