The Elm architecture ported to Idris Programming language
☆14Feb 27, 2019Updated 7 years ago
Alternatives and similar repositories for idris-elm
Users that are interested in idris-elm are comparing it to the libraries listed below
Sorting:
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Gradual introduction to interactive graphics programs.☆10Aug 13, 2020Updated 5 years ago
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆11Oct 28, 2024Updated last year
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Source code for the ESF website☆17May 6, 2020Updated 5 years ago
- Idris Todo web application example☆41Jan 30, 2023Updated 3 years ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- ☆21May 19, 2025Updated 9 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- Elm implementation of murmur3 hash function☆26Sep 17, 2020Updated 5 years ago
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated last month
- Asynchronous and concurrent computations in Idris2☆25Feb 28, 2026Updated last week
- WebAssembly Code Generation Backend for Idris Compiler☆82Jun 26, 2018Updated 7 years ago
- Letting the Elm compiler prevent Bulma class name typos☆16Dec 3, 2022Updated 3 years ago
- GRIN backend for Idris☆50Apr 11, 2020Updated 5 years ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 5 years ago
- Idris, but it's C☆24May 25, 2018Updated 7 years ago
- A Python backed for Idris 2☆29Nov 25, 2025Updated 3 months ago
- A simple Idris program to blink the LED on an Arduino☆58Jul 26, 2021Updated 4 years ago
- FizzBuzz, formally verified, provably correct☆28Mar 4, 2023Updated 3 years ago
- Tic Tac Toe game implementation in Elm☆22Sep 21, 2018Updated 7 years ago
- Open source charting library written in Elm☆81Feb 2, 2026Updated last month
- Make git commits with pretty hashes☆30Aug 4, 2020Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Oct 9, 2021Updated 4 years ago
- Monadic Javascript Compiler☆74May 21, 2016Updated 9 years ago
- An Elm wrapper over the HTML5 Media API, for writing audio and video players in Elm☆29Sep 24, 2019Updated 6 years ago
- Server side rendering with hydration for Elm☆32Nov 30, 2024Updated last year
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- An address component tagger based on statistical natural language processing techniques☆11Apr 17, 2014Updated 11 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- A step sequencer for programming drum beats, written in Elm. Published on Smashing Magazine.☆59Dec 6, 2022Updated 3 years ago
- Type-safe error handling☆64Oct 12, 2023Updated 2 years ago