Alternatives and similar repositories for idris-elm:

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

• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated 10 months ago
• haskell-to-elm / servant-to-elm
  Generate Elm client libraries from Servant API definitions.
  ☆28Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• haskell-to-elm / haskell-to-elm
  Generate Elm types, encoders, and decoders from Haskell types
  ☆61Updated 8 months ago
• turingjump / bookkeeper
  ☆54Updated 6 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 5 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 4 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆78Updated 11 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆68Updated 4 years ago
• esoeylemez / rapid
  Rapid prototyping with GHCi
  ☆58Updated 6 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• sras / elminator
  Generate Elm type definitions and json encoders/decoders from Haskell types.
  ☆27Updated 7 months ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated 2 weeks ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• cjdev2 / text-conversions
  Safe conversions between Haskell textual types
  ☆39Updated 2 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• eskimor / purescript-bridge
  Create PureScript datatypes from Haskell datatypes
  ☆111Updated 9 months ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 3 months ago
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated 2 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated last month
• csicar / pskt
  Kotlin-backend for PureScript
  ☆81Updated 3 years ago
• thalerjonathan / gloss-idris
  A port of the gloss library from Haskell to Idris
  ☆22Updated 6 years ago
• kritzcreek / purescript-emmet
  Quick scaffolding for Halogen's HTML DSL
  ☆36Updated 3 years ago
• reflex-frp / reflex-todomvc
  Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive comp…
  ☆32Updated 3 weeks ago