GU-CLASP / TypedFlow

Related projects ⓘ

Alternatives and complementary repositories for TypedFlow

• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆181Updated 4 months ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• brunjlar / neural
  Neural Nets in native Haskell
  ☆123Updated 4 years ago
• helq / tensorflow-haskell-deptyped
  Reexporting TensorFlow Haskell with dependent typed functions
  ☆46Updated 5 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• leopiney / tensor-safe
  A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  ☆101Updated last year
• quickdudley / hfnn
  ☆25Updated 4 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 8 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• diffusionkinetics / open
  DiffusionKinetics open-source monorepo
  ☆115Updated last year
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆44Updated 8 years ago
• haskell-mafia / mafia
  Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
  ☆135Updated 4 years ago
• creswick / chatter
  A library of Natural Language Processing algorithms for Haskell.
  ☆73Updated 9 months ago
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆195Updated last month
• acowley / Frames
  Data frames for tabular data.
  ☆298Updated last year
• doofin / differentiable-idris
  dependent types meets deep learning
  ☆42Updated 5 years ago
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆250Updated 3 months ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆208Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 2 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• DanBurton / tardis
  ☆110Updated 9 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• alpmestan / hnn
  haskell neural network library
  ☆112Updated 7 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• mgsloan / store
  Fast binary serialization in Haskell
  ☆109Updated 8 months ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆184Updated last month
• fbsamples / ghc-hotswap
  Example code for how we swap compiled code within a running Haskell process.
  ☆172Updated 6 years ago