Typed frontend to TensorFlow and higher-order deep learning
☆156Jul 1, 2022Updated 3 years ago
Alternatives and similar repositories for TypedFlow
Users that are interested in TypedFlow are comparing it to the libraries listed below
Sorting:
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- DiffusionKinetics open-source monorepo☆116Jan 10, 2023Updated 3 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Efficient Haskell Arrays featuring Parallel computation☆411Jul 8, 2025Updated 8 months ago
- Haskell bindings for PETSc and SLEPc☆21Sep 5, 2016Updated 9 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Feb 3, 2020Updated 6 years ago
- - The Haskell code editor focused on interactive development.☆352Feb 10, 2018Updated 8 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Fast Haskell XML parser☆124Jul 16, 2023Updated 2 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Feb 7, 2017Updated 9 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Jul 8, 2018Updated 7 years ago
- Speculate laws about Haskell functions☆31Jan 30, 2025Updated last year
- Detect dead exports or package imports☆125Jun 11, 2020Updated 5 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 5 years ago
- ☆13May 2, 2023Updated 2 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Send textual messages to a Handle in a thread-friendly way☆29Aug 15, 2018Updated 7 years ago
- The Haskell Refactoring Tool☆138Jun 16, 2017Updated 8 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Simple plotting tool for the terminal☆87Oct 3, 2023Updated 2 years ago
- ☆25Aug 10, 2016Updated 9 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆193Jun 5, 2025Updated 9 months ago
- Hopefully verifiable code generation in GHC☆93May 10, 2017Updated 8 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago