softwarefactory-project / matrix-client-haskell

Related projects: ⓘ

• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆14Updated last month
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 3 months ago
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆53Updated this week
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆21Updated 2 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 2 years ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated this week
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated last year
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• haskellari / some
  Existential type.
  ☆36Updated 4 months ago
• input-output-hk / foliage
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆42Updated this week
• emilypi / order
  Order theory
  ☆23Updated last year
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 3 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆44Updated last month
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 months ago
• obsidiansystems / calculator-tutorial
  Building a calculator with Reflex-FRP
  ☆10Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• freckle / blammo
  Batteries-included structured logging library
  ☆29Updated 3 weeks ago
• well-typed / memory-usage-zurihac-2021
  ☆35Updated 3 years ago
• mstksg / typelits-printf
  Type-safe printf from parsing GHC TypeLits Symbol
  ☆24Updated last week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 9 months ago
• tilk / vocoder
  Phase vocoder in Haskell
  ☆16Updated 3 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆20Updated last week
• ohad / collie
  Command line interface library in Idris
  ☆30Updated last month
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆20Updated 3 weeks ago
• tfausak / cabal-gild
  Format Haskell package descriptions.
  ☆47Updated last month
• obsidiansystems / beam-automigrate
  Generated migrations for beam databases
  ☆20Updated last month