leon-vv / Todo
Idris Todo web application example
☆42Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Todo
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A more flexible mtl☆64Updated 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A simple Idris program to blink the LED on an Arduino☆56Updated 3 years ago
- Comma (and other) separated values☆76Updated last year
- Documentation for Concur☆66Updated 5 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- An HTTP library for idris☆40Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆105Updated 2 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- 2048 in Idris☆121Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- SDL bindings package for idris☆46Updated 4 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Tools for programming with ConstraintKinds in GHC☆71Updated last month