☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Dec 11, 2022Updated 3 years ago
- ☆11May 26, 2018Updated 7 years ago
- ☆11Jun 11, 2016Updated 9 years ago
- A collection of functions which operate on 32-bit signed integers☆12Oct 27, 2024Updated last year
- Free monad☆26Jan 20, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14May 30, 2017Updated 8 years ago
- Gradual introduction to interactive graphics programs.☆10Aug 13, 2020Updated 5 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Sparklines graphs for Elm☆14Apr 20, 2021Updated 4 years ago
- ai-search☆15May 14, 2019Updated 6 years ago
- ☆14Mar 11, 2017Updated 9 years ago
- Communication layer so Elm code can talk to Node.js code.☆13Apr 25, 2016Updated 9 years ago
- Incubator for my Haskell libraries☆20Feb 10, 2018Updated 8 years ago
- ☆46Jul 2, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Simple two-dimensional matrices backed by a flat array☆18Feb 24, 2020Updated 6 years ago
- Make native methods available as partially applied functions.☆42Feb 11, 2014Updated 12 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- Deprecated. Replaced by elm-aws-core and elm-aws-generate☆11Sep 1, 2017Updated 8 years ago
- A library that allows you to "tag" a value with a specific type for compile time verification.☆34Aug 29, 2018Updated 7 years ago
- exploring transducers☆10Jan 2, 2015Updated 11 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Fuse support in Elm☆24Jun 30, 2017Updated 8 years ago
- Subscribe to online/offline events☆11May 14, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- PouchDB Bindings for PureScript☆24Oct 9, 2018Updated 7 years ago
- An experiment with higher-kinded types in elm☆58Aug 13, 2016Updated 9 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- Practical monad transformers for JS.☆26Dec 27, 2016Updated 9 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- TodoMVC <<< React <<< Recompose <<< Redux $ PureScript☆28Dec 4, 2016Updated 9 years ago
- Would it be better to use the Set-Cookie header?☆20Dec 19, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 9 years ago
- A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).☆27Sep 28, 2016Updated 9 years ago
- elm-serverless demo for latest release☆16Nov 30, 2017Updated 8 years ago
- Free monad Collection☆177Apr 13, 2018Updated 7 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- ☆25May 26, 2016Updated 9 years ago