idris-hackers / iQuery
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
☆40Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for iQuery
- ☆23Updated 6 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- A tiny EDSL for making slides in PureScript☆26Updated 7 years ago
- Relational programming for PureScript☆17Updated 7 years ago
- Haskell type introduction illustrated☆17Updated 7 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Updated 8 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Program imperatively using PureScript, State monad and lenses☆25Updated 6 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆33Updated 2 years ago
- Type level natural numbers and booleans☆33Updated 5 years ago
- Safe printf-like formatting in purescript☆37Updated 5 years ago
- QuickCheck powered law tests for PureScript's core typeclasses.☆25Updated 2 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Type-Level Routing for PureScript☆41Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Pure, total functions!☆14Updated 8 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- ☆21Updated last year
- applicative opt parsing for node☆31Updated 3 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Purescript Regular expressions made easy☆24Updated 6 years ago
- Applicative-style validation☆46Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- A PureScript interface to Selenium's Node Webdriver.☆19Updated 6 years ago
- ☆12Updated 4 years ago
- An implementation of GraphQL in Haskell.☆21Updated 7 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago