Alternatives and similar repositories for GenI:

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

• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 6 months ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 7 years ago
• eelco / gdiff
  ☆33Updated 10 years ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 10 years ago
• carlssonia / adaptive
  ☆10Updated 12 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 4 months ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 6 months ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 7 months ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago