Alternatives and similar repositories for Todo

Users that are interested in Todo are comparing it to the libraries listed below

• eskimor / servant-purescript
  Translate servant API to purescript code, with the help of purescript-bridge.
  ☆108Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆67Updated 2 years ago
• paf31 / purescript-derive-lenses
  A little utility to derive lenses and prisms for data types in PureScript
  ☆41Updated 8 years ago
• pheymann / specdris
  A test framework for Idris
  ☆54Updated 6 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• owickstrom / motor
  Type-safe effectful state machines in Haskell
  ☆95Updated 4 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated last year
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated 2 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 7 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated last year
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 5 months ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆68Updated 4 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆31Updated 4 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 3 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 8 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• eskimor / purescript-bridge
  Create PureScript datatypes from Haskell datatypes
  ☆111Updated 11 months ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 6 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆68Updated 7 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆103Updated 6 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• pkamenarsky / purescript-refract
  Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
  ☆49Updated 6 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆49Updated 3 years ago