Alternatives and similar repositories for hPage

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

• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆33Updated 3 months ago
• diagrams / diagrams-graphviz
  Graph layout and drawing with GraphViz and diagrams
  ☆10Updated 2 months ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 6 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 7 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 7 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 2 months ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 10 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated 3 months ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 7 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• NorfairKing / nanosmos
  A simple text editor written in Haskell with Brick
  ☆13Updated 6 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 5 years ago
• CUFP / cufp.org
  Implementation of the cufp.org website.
  ☆11Updated 7 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated 2 years ago
• mhwombat / som
  Self-Organising Map implementation in Haskell
  ☆24Updated 2 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year