jhb563 / HTensor
☆14Updated 7 years ago
Alternatives and similar repositories for HTensor:
Users that are interested in HTensor are comparing it to the libraries listed below
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Haskell bindings to ArrayFire☆60Updated 4 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Updated 10 years ago
- multiset haskell package☆19Updated last year
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Source for personal blog.☆77Updated 2 weeks ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Dependently typed convolutional neural networks☆35Updated 7 years ago
- ☆10Updated last year
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- ☆18Updated 5 years ago
- Wave function collapse procedural generation for arbitrary graphs☆15Updated 5 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 4 years ago
- DIY Markov Chains.☆25Updated 5 months ago
- Graphics engine written in Haskell.☆35Updated 5 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Painless general-purpose sampling.☆24Updated 5 months ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 weeks ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Generic types and functions for encoding and decoding columns☆43Updated 5 months ago
- There are many category theory implementations, but this one is mine☆16Updated 7 months ago