Alternatives and similar repositories for zh-art-bot

Users that are interested in zh-art-bot are comparing it to the libraries listed below

• ezyang / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆25Updated 8 years ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 3 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• joneshf / purcel
  ☆24Updated 6 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 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
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• ChrisPenner / wave-function-collapse
  Wave function collapse procedural generation for arbitrary graphs
  ☆15Updated 5 years ago
• fosskers / mapalgebra
  Efficient, polymorphic Map Algebra in Haskell.
  ☆37Updated 5 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 6 months ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆122Updated 5 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 5 months ago
• Ericson2314 / lighthouse
  Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
  ☆29Updated 11 years ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• ekmett / auth
  ☆40Updated 6 years ago