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:
- Recursion schemes for Idris☆65Updated 6 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- 2048 in Idris☆123Updated 7 years ago
- An HTTP library for idris☆39Updated 6 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Js libraries for idris☆49Updated 5 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- ☆49Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- SDL bindings package for idris☆47Updated 5 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Idris tactics for (commutative) monoids☆20Updated 5 years ago
- Documentation for Concur☆65Updated last year
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- ☆51Updated 9 years ago
- Zippers based on lenses and traversals☆40Updated 2 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- A full-stack Haskell web application starter project.☆43Updated 7 years ago
- A magic typeclass that just does it☆124Updated 3 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆112Updated 9 months ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago