Alternatives and similar repositories for idris-elm

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

• tdammers / sprinkles
  Web Development without programming
  ☆44Updated 2 years ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆71Updated this week
• jhrcek / graph-editor
  Simple editor for creating graphs implemented purely in Elm.
  ☆35Updated 2 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆80Updated 3 years ago
• ptigwe / hs-flatris
  An implementation of Flatris using Haskell and Miso
  ☆32Updated 5 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated last year
• idream-build / idream
  A simple build system for Idris
  ☆22Updated 4 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆41Updated 3 months ago
• haskell-to-elm / servant-to-elm
  Generate Elm client libraries from Servant API definitions.
  ☆28Updated 2 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 3 months ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• jvranish / MiniKanrenT
  An implementation of miniKanren in Haskell
  ☆78Updated 12 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• ocramz / aeson-schema
  Haskell JSON schema validator and parser generator
  ☆62Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• maackle / html2purescript
  Very basic parser/renderer to convert raw HTML into valid PureScript Halogen syntax
  ☆20Updated 2 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆51Updated 5 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆62Updated 5 months ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆36Updated 3 years ago
• esoeylemez / rapid
  Rapid prototyping with GHCi
  ☆58Updated 7 years ago
• agocorona / hplayground
  Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…
  ☆60Updated 9 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• maxsnew / hakyll-elm
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Updated 10 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 4 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• morgenthum / lambda-heights
  A fast paced arcade game
  ☆52Updated 5 years ago