leon-vv / TodoLinks
Idris Todo web application example
☆42Updated 2 years ago
Alternatives and similar repositories for Todo
Users that are interested in Todo are comparing it to the libraries listed below
Sorting:
- Zippers based on lenses and traversals☆40Updated last year
- Documentation for Concur☆65Updated last year
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Js libraries for idris☆49Updated 5 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆108Updated 2 years ago
- A more flexible mtl☆63Updated 7 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- ♾️ Sized list☆46Updated last year
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆67Updated 4 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- A game about exponential growth written in Haskell☆31Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- An experiment in functional interface design☆24Updated 8 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago
- A test framework for Idris☆54Updated 6 years ago
- Safe conversions between Haskell textual types☆39Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago