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
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• timjs / idris-clean
  A priliminary backend for Idris that compiles to Clean.
  ☆15Updated 8 years ago
• paf31 / purescript-derive-lenses
  A little utility to derive lenses and prisms for data types in PureScript
  ☆41Updated 8 years ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated last year
• haskell-to-elm / servant-to-elm
  Generate Elm client libraries from Servant API definitions.
  ☆28Updated 2 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 3 years ago
• natefaubion / purescript-heterogeneous
  Maps and folds for heterogeneous data types.
  ☆56Updated 3 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
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 8 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 2 weeks ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• thalerjonathan / gloss-idris
  A port of the gloss library from Haskell to Idris
  ☆22Updated 6 years ago
• hdgarrood / purescript-benchotron
  Straightforward benchmarking for PureScript/JavaScript.
  ☆32Updated last year
• sharkdp / purescript-ctprelude
  A Prelude with names from category theory
  ☆51Updated 8 years ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆80Updated 3 years ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆26Updated 3 months ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆120Updated 3 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 6 years ago
• purescript-halogen / purescript-halogen-vdom
  An extensible virtual-dom library for PureScript.
  ☆58Updated 11 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• eviefp / purescript-halogen-example
  Sample halogen app that uses a few DSLs within the application's free monad
  ☆62Updated 6 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 3 years ago