joneshf/elm-proof external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

joneshf/elm-proof

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/joneshf/elm-proof)

Close

joneshf / elm-proofView on GitHubMore

• External links
• Readme badge

☆13Aug 6, 2017Updated 8 years ago

Alternatives and similar repositories for elm-proof

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

• joneshf / elm-these

  View on GitHub
  ☆14Dec 11, 2022Updated 3 years ago
• eeue56 / elm-lazy

  View on GitHub
  ☆11May 26, 2018Updated 7 years ago
• joneshf / elm-mom

  View on GitHub
  ☆11Jun 11, 2016Updated 9 years ago
• paf31 / purescript-smash

  View on GitHub
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Aug 16, 2020Updated 5 years ago
• sanctuary-js / sanctuary-int

  View on GitHub
  A collection of functions which operate on 32-bit signed integers
  ☆12Oct 27, 2024Updated last year
• kritzcreek / purescript-matrices

  View on GitHub
  Simple two-dimensional matrices backed by a flat array
  ☆18Feb 24, 2020Updated 6 years ago
• joneshf / pyrescript

  View on GitHub
  ☆46Jul 2, 2016Updated 9 years ago
• raine / ramda-t

  View on GitHub
  ☆14Mar 11, 2017Updated 8 years ago
• chris-martin / haskell-libraries

  View on GitHub
  Incubator for my Haskell libraries
  ☆20Feb 10, 2018Updated 8 years ago
• clovyr / aeson-yaml

  View on GitHub
  Encode any Aeson (JSON) value as YAML (in pure Haskell)
  ☆12Nov 5, 2023Updated 2 years ago
• ekmett / foreign-var

  View on GitHub
  Foreign variables, deprecated in favor of `StateVar`
  ☆11May 1, 2019Updated 6 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• joneshf / purescript-lens-examples

  View on GitHub
  ☆12Jan 5, 2015Updated 11 years ago
• elm-lang / cookie

  View on GitHub
  Would it be better to use the Set-Cookie header?
  ☆20Dec 19, 2016Updated 9 years ago
• fantasyland / fantasy-frees

  View on GitHub
  Free monad
  ☆26Jan 20, 2016Updated 10 years ago
• passy / attic-schedule

  View on GitHub
  A Turtle script I use to kick off attic
  ☆11Feb 23, 2017Updated 9 years ago
• jweir / sparkline

  View on GitHub
  Sparklines graphs for Elm
  ☆14Apr 20, 2021Updated 4 years ago
• purescript-contrib / purescript-these

  View on GitHub
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Apr 27, 2022Updated 3 years ago
• john-kelly / elm-interactive-graphics

  View on GitHub
  Gradual introduction to interactive graphics programs.
  ☆10Aug 13, 2020Updated 5 years ago
• justinwoo / purescript-home-run-ball

  View on GitHub
  A library for applying a row of rules for validation to refine a value
  ☆12Jun 20, 2018Updated 7 years ago
• buzzdecafe / ramduce

  View on GitHub
  exploring transducers
  ☆10Jan 2, 2015Updated 11 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• hdgarrood / qq-literals

  View on GitHub
  A Haskell library for compile-time checked literal values, via QuasiQuoters.
  ☆13Sep 20, 2021Updated 4 years ago
• tibastral / elm-koala

  View on GitHub
  ☆12Feb 17, 2017Updated 9 years ago
• brakmic / purescript-pouchdb

  View on GitHub
  PouchDB Bindings for PureScript
  ☆24Oct 9, 2018Updated 7 years ago
• jvoigtlaender / elm-drag

  View on GitHub
  A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).
  ☆27Sep 28, 2016Updated 9 years ago
• tathougies / react.hs

  View on GitHub
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14May 5, 2015Updated 10 years ago
• stoeffel / elm-online

  View on GitHub
  Subscribe to online/offline events
  ☆11May 14, 2016Updated 9 years ago
• ktonon / aws-sdk-elm

  View on GitHub
  Deprecated. Replaced by elm-aws-core and elm-aws-generate
  ☆11Sep 1, 2017Updated 8 years ago
• glguy / advent2015

  View on GitHub
  ☆12Dec 28, 2020Updated 5 years ago
• jfischoff / are-mutable-references-in-haskell-fast

  View on GitHub
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Jun 1, 2017Updated 8 years ago
• lbonn / miso-snake

  View on GitHub
  Snake game, made with haskell-miso
  ☆13Jan 7, 2018Updated 8 years ago
• justinwoo / purescript-serialized-actions

  View on GitHub
  just an example of how simple ADTs should have JSON serialization and deserialization automatically derived
  ☆12Jan 22, 2017Updated 9 years ago
• the-sett / ai-search

  View on GitHub
  ai-search
  ☆15May 14, 2019Updated 6 years ago
• ohanhi / elm-chronographify

  View on GitHub
  ☆25May 26, 2016Updated 9 years ago
• ecliptic / purescript-recompose-todomvc

  View on GitHub
  TodoMVC <<< React <<< Recompose <<< Redux $ PureScript
  ☆28Dec 4, 2016Updated 9 years ago
• eeue56 / elm-fuse

  View on GitHub
  Fuse support in Elm
  ☆24Jun 30, 2017Updated 8 years ago
• bodil / purescript-eulalie

  View on GitHub
  String parser combinators for PureScript.
  ☆59Apr 9, 2017Updated 8 years ago
• bodil / purescript-smolder

  View on GitHub
  A combinator library for generating markup
  ☆90Aug 29, 2021Updated 4 years ago