leon-vv / Todo

Related projects: ⓘ

• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆66Updated last year
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆156Updated 4 months ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆90Updated 6 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆47Updated 2 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆78Updated 4 years ago
• associahedron / HoTT-Idris
  ☆63Updated this week
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆48Updated 4 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆86Updated 3 weeks ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆54Updated 3 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated 10 months ago
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated last year
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• transient-haskell / axiom
  Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)
  ☆68Updated 3 years ago
• pheymann / specdris
  A test framework for Idris
  ☆56Updated 5 years ago
• dmbarbour / haskell-vcache
  ☆79Updated this week
• ekmett / auth
  ☆41Updated 6 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆98Updated last year
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 8 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• xgrommx / idris-ecosystem
  ☆47Updated 6 years ago