fused-effects / fused-effects-lens

Related projects: ⓘ

• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• JoeyEremondi / lambda-pi-constraint
  ☆16Updated 5 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆14Updated 7 months ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 6 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆26Updated 3 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 3 years ago
• mmark-md / mmark-ext
  Commonly useful extensions for the MMark markdown processor
  ☆10Updated 8 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆40Updated last week
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 6 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated last month
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 4 years ago
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 5 years ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• ak3n / abt-zoo
  ☆12Updated this week
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 3 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆27Updated 3 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 3 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 3 years ago
• conal / talk-2016-generic-parallel-scan
  Talk on generic parallel scan
  ☆14Updated 7 years ago
• soupi / purescript-slides
  A tiny EDSL for making slides in PureScript
  ☆26Updated 7 years ago