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
- DiffusionKinetics open-source monorepo☆116Jan 10, 2023Updated 3 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Efficient Haskell Arrays featuring Parallel computation☆408Jul 8, 2025Updated 7 months ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- - The Haskell code editor focused on interactive development.☆352Feb 10, 2018Updated 8 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Feb 3, 2020Updated 6 years ago
- Haskell bindings for PETSc and SLEPc☆21Sep 5, 2016Updated 9 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Feb 7, 2017Updated 9 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Fast Haskell XML parser☆124Jul 16, 2023Updated 2 years ago
- Detect dead exports or package imports☆125Jun 11, 2020Updated 5 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 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
- An implementation of "Freer Monads, More Extensible Effects".☆64Jul 8, 2018Updated 7 years ago
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- Simple plotting tool for the terminal☆87Oct 3, 2023Updated 2 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Numerical computation in native Haskell☆94Jan 16, 2026Updated last month
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Deep Learning in Haskell☆1,453Dec 8, 2023Updated 2 years ago
- Speculate laws about Haskell functions☆30Jan 30, 2025Updated last year
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago