Alternatives and similar repositories for idris-elm

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

• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 4 years ago
• haskell-to-elm / servant-to-elm
  Generate Elm client libraries from Servant API definitions.
  ☆29Updated 2 years ago
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆80Updated 4 years ago
• jhrcek / graph-editor
  Simple editor for creating graphs implemented purely in Elm.
  ☆35Updated 3 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆121Updated 3 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 3 weeks ago
• xgrommx / idris-ecosystem
  ☆50Updated 7 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• sharkdp / purescript-sparkle
  Infer user interfaces from type signatures
  ☆77Updated 7 years ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆47Updated last year
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 9 years ago
• tdammers / sprinkles
  Web Development without programming
  ☆45Updated 2 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• sras / elminator
  Generate Elm type definitions and json encoders/decoders from Haskell types.
  ☆27Updated 2 months ago
• ghcjs / jsaddle
  JavaScript interface that works with GHCJS or GHC
  ☆129Updated last month
• slamdata / purescript-webdriver
  A PureScript interface to Selenium's Node Webdriver.
  ☆18Updated 7 years ago
• afcondon / purescript-d3v4
  Starting from scratch to wrap D3v4
  ☆25Updated 8 years ago
• purescript-contrib / purescript-coroutines
  Computations which can suspend their execution and return control to their invoker
  ☆36Updated 2 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 9 months ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆73Updated 11 months ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆63Updated last year
• transient-haskell / transient-stack
  All the Transient libraries
  ☆42Updated last month