Alternatives and similar repositories for elm-proof

Users that are interested in elm-proof are comparing it to the libraries listed below

• joneshf / elm-brands
  An experiment with higher-kinded types in elm
  ☆58Updated 9 years ago
• tfausak / purescript-neon
  ⚡️ A practical standard library for PureScript.
  ☆47Updated 8 years ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 8 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 9 years ago
• tfausak / purescript-batteries
  A PureScript prelude with more features.
  ☆30Updated 8 years ago
• joneshf / elm-these
  ☆14Updated 3 years ago
• bodil / purescript-smolder
  A combinator library for generating markup
  ☆90Updated 4 years ago
• elmzed / elmz
  ☆18Updated 9 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 7 years ago
• kofno / BasicLambda
  An example of writing an AWS Lambda function in Purescript
  ☆36Updated 8 years ago
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated 2 years ago
• pelotom / purescript-d3
  PureScript bindings for D3
  ☆86Updated 3 years ago
• alexmingoia / pux-devtool
  Pux time-travelling devtool.
  ☆42Updated 8 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 8 years ago
• Fresheyeball / elm-node
  Node support for Elm
  ☆14Updated 9 years ago
• maxsnew / IO
  IO for Elm
  ☆29Updated 10 years ago
• eskimor / purescript-localstorage
  Access JS webstorage (local & session) in a typesafe and convenient way
  ☆29Updated 8 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 7 years ago
• purescript-deprecated / purescript-dom
  Type definitions and standard effect for interacting with the DOM
  ☆41Updated 5 years ago
• purescript-hyper / purescript-trout
  Type-Level Routing for PureScript
  ☆41Updated 5 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 7 years ago
• paf31 / purescript-jquery
  Type declarations for jQuery
  ☆30Updated 5 years ago
• joneshf / elm-profunctors
  ☆13Updated 9 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• ecliptic / purescript-recompose-todomvc
  TodoMVC <<< React <<< Recompose <<< Redux $ PureScript
  ☆28Updated 9 years ago
• purescript / purescript-validation
  Applicative-style validation
  ☆45Updated 3 years ago
• waterson / purescript-asteroids
  Asteroids for a web browser, in PureScript
  ☆44Updated 11 years ago
• aktowns / purescript-simple-dom
  ☆44Updated 8 years ago
• clayrat / opticui-elm-architecture
  Elm arch guide in OpticUI
  ☆13Updated 10 years ago
• avh4-experimental / elm-transducers
  Composable transformation of sequences using clojure-inspired transducers
  ☆40Updated 7 years ago