GU-CLASP / TypedFlow
Typed frontend to TensorFlow and higher-order deep learning
☆156Updated 2 years ago
Alternatives and similar repositories for TypedFlow:
Users that are interested in TypedFlow are comparing it to the libraries listed below
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Neural Nets in native Haskell☆124Updated 4 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆186Updated 8 months ago
- playing with recurrent neural networks☆28Updated 9 years ago
- ☆25Updated 4 years ago
- ☆54Updated 9 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Systematic concurrency testing meets Haskell.☆197Updated this week
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- DiffusionKinetics open-source monorepo☆116Updated 2 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 5 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- Type classes for mapping, folding, and traversing monomorphic containers☆156Updated 2 months ago
- Link to preprints for POPL'17 and co-located events☆100Updated 7 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- Developer tools for Haskell☆250Updated 7 months ago
- Matrix operations in 100% pure Haskell☆33Updated last year
- Data frames for tabular data.☆300Updated last year
- Source for personal blog.☆77Updated this week
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 5 months ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- High performance type safe html generation☆128Updated 2 years ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- The missing tutorial module for the lens library☆82Updated 10 months ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago