Alternatives and similar repositories for GenI:

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

• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 5 months ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• mikeizbicki / hmm
  hidden markov models in haskell
  ☆34Updated 8 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• krapsh / kraps-haskell
  Experimental Haskell bindings to Spark Datasets and DataFrames
  ☆26Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated 7 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• conal / talk-2016-generic-parallel-scan
  Talk on generic parallel scan
  ☆14Updated 7 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆24Updated 5 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 4 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 10 months ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆33Updated last year
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago