Alternatives and similar repositories for aivika

Users that are interested in aivika are comparing it to the libraries listed below

• aligusnet / mltool
  Machine Learning Toolbox
  ☆36Updated 6 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆162Updated 4 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆103Updated 6 months ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 3 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 months ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆82Updated last year
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 3 months ago
• cchalmers / plots
  Haskell plotting library
  ☆44Updated 9 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆57Updated last year
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• diffusionkinetics / open
  DiffusionKinetics open-source monorepo
  ☆116Updated 2 years ago
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated 5 months ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆58Updated 6 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• ekmett / parsers
  Generic parser combinators
  ☆87Updated 3 months ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 9 years ago