sinelaw / HOpenCV

Related projects ⓘ

Alternatives and complementary repositories for HOpenCV

• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• mchaver / servant-auth-and-elm-example
  ☆15Updated 6 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 5 months ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆30Updated 9 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• parsonsmatt / persistent-typed-db
  A type and helpers for typesafe SQL access in the presence of many databases.
  ☆23Updated last year
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• thoughtpolice / vacuum
  DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.
  ☆19Updated 8 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• djv / VisualProf
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Updated 9 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆18Updated 9 years ago
• haskell-github-trust / ulid
  Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)
  ☆32Updated 2 years ago
• jhb563 / MazeGame
  ☆15Updated 5 years ago
• fosskers / microlens-aeson
  Lenses and Traversals for Aeson, based on Microlens.
  ☆14Updated 5 months ago
• ElvishJerricco / servant-router
  ☆32Updated 6 years ago
• DanielG / cabal-helper
  Give Haskell development tools access to Cabal project environment.
  ☆24Updated 3 years ago
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated 7 months ago
• Gabriella439 / Haskell-Server-Generic-Library
  Auto-generate a server for your datatype
  ☆30Updated 2 years ago
• tsani / servant-github-webhook
  Servant combinators for writing secure GitHub webhooks
  ☆17Updated last year
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆43Updated last week
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago