Alternatives and similar repositories for elm-proof

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

• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 8 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 7 years ago
• tfausak / purescript-neon
  ⚡️ A practical standard library for PureScript.
  ☆47Updated 7 years ago
• joneshf / elm-these
  ☆14Updated 3 years ago
• eskimor / purescript-localstorage
  Access JS webstorage (local & session) in a typesafe and convenient way
  ☆29Updated 8 years ago
• alexmingoia / pux-devtool
  Pux time-travelling devtool.
  ☆42Updated 8 years ago
• coot / purescript-isomorphic-react-example
  Example of Isomorphic React Application written in PureScript
  ☆22Updated 8 years ago
• purescript-node / purescript-node-http
  A wrapper for Node's HTTP APIs
  ☆40Updated 2 years ago
• maxsnew / IO
  IO for Elm
  ☆29Updated 10 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 7 years ago
• joneshf / elm-brands
  An experiment with higher-kinded types in elm
  ☆58Updated 9 years ago
• elmzed / elmz
  ☆18Updated 8 years ago
• clayrat / opticui-elm-architecture
  Elm arch guide in OpticUI
  ☆13Updated 10 years ago
• purescript / purescript-validation
  Applicative-style validation
  ☆45Updated 3 years ago
• agrafix / purescript-apparch
  PureScript application layout pattern, derived from the Elm Architecture
  ☆18Updated 9 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 11 years ago
• sgraf812 / elm-graph
  This repository moved to https://github.com/elm-community/graph
  ☆16Updated 2 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 7 years ago
• bodil / purescript-typelevel
  Type level natural numbers and booleans
  ☆34Updated 6 years ago
• tfausak / purescript-batteries
  A PureScript prelude with more features.
  ☆30Updated 8 years ago
• bodil / purescript-smolder
  A combinator library for generating markup
  ☆90Updated 4 years ago
• joneshf / elm-profunctors
  ☆13Updated 9 years ago
• supermario / hilt
  Application scaffold and batteries-included service implementations for Haskell
  ☆26Updated 6 years ago
• ecliptic / purescript-recompose-todomvc
  TodoMVC <<< React <<< Recompose <<< Redux $ PureScript
  ☆28Updated 9 years ago
• maddie927 / purescript-spectacle-presentation
  Presentation on using React Spectacle via Pux & PureScript
  ☆12Updated 9 years ago
• justinwoo / purescript-serialized-actions
  just an example of how simple ADTs should have JSON serialization and deserialization automatically derived
  ☆12Updated 8 years ago
• purescript-hyper / purescript-trout
  Type-Level Routing for PureScript
  ☆41Updated 5 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 7 years ago
• paf31 / purescript-drawing
  A data structure for drawings
  ☆46Updated 7 years ago