serras / zurihac-workshop

Related projects ⓘ

Alternatives and complementary repositories for zurihac-workshop

• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated last month
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• coot / ghc-tags-plugin
  Generate tags file for haskell modules (GHC)
  ☆42Updated last week
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated 3 weeks ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆44Updated last month
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• kokobd / cabal-hoogle
  ☆35Updated this week
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆23Updated this week
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆47Updated 6 months ago
• tweag / timestats
  A library to profile time in a Haskell program
  ☆17Updated 5 months ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated 2 weeks ago
• ChrisPenner / json-to-haskell
  In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.
  ☆82Updated 3 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆53Updated 3 weeks ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆124Updated this week
• well-typed / falsify
  ☆38Updated 5 months ago
• takenobu-hs / haskell-ghc-reading-guide
  Haskell GHC reading guide
  ☆35Updated 3 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated 3 months ago
• freckle / blammo
  Batteries-included structured logging library
  ☆29Updated 2 months ago
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆20Updated this week
• mstksg / typelits-printf
  Type-safe printf from parsing GHC TypeLits Symbol
  ☆24Updated 2 months ago
• tfausak / cabal-gild
  Format Haskell package descriptions.
  ☆49Updated last month
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• jcpetruzza / barbies
  ☆92Updated 7 months ago