stefan-hoeck / idris2-dom-mvcLinks
Single Page Web Applications in Idris
☆25Updated 9 months ago
Alternatives and similar repositories for idris2-dom-mvc
Users that are interested in idris2-dom-mvc are comparing it to the libraries listed below
Sorting:
- Javascript DOM bindings for Idris2☆53Updated last month
- ☆15Updated 9 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Command line interface library in Idris☆31Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 11 months ago
- Small async library for idris2, inspired by purescript-aff☆8Updated 3 years ago
- A template for idris projects☆11Updated 4 years ago
- Session types framework with support of protocol pipelining.☆15Updated this week
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 6 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- high-powered optics in a small package☆53Updated 9 months ago
- Haskell implementation of the KDL Document Language☆23Updated 2 weeks ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 4 months ago
- ☆26Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Package manager for Idris☆37Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last month
- GRIN backend for Idris2☆33Updated 3 years ago
- a http(s) client in idris☆28Updated 7 months ago
- ☆41Updated last year
- Harmonize with coworkers around GitHub reviewing.☆21Updated 2 weeks ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- LLVM code generation in Haskell☆54Updated 9 months ago
- Efficient parser combinators for Haskell☆39Updated this week
- Data frames for Idris 2☆23Updated 2 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆71Updated 6 months ago