iokasimov / pandora

Related projects: ⓘ

• int-index / union
  Extensible type-safe unions for Haskell
  ☆31Updated last week
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 3 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• juspay / jrec
  Literally the best anonymous records
  ☆36Updated last year
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆50Updated last year
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆18Updated this week
• shapr / kudzu
  coverage driven random testing framework
  ☆20Updated 4 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated last month
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆61Updated 5 months ago
• typeable / stackage2nix
  Generate Nix build instructions from a Stack file
  ☆49Updated 3 years ago
• iokasimov / joint
  Extremely simple effect system for Haskell
  ☆7Updated 3 years ago
• klapaucius / vector-hashtables
  ☆33Updated 4 months ago
• cabalism / hpack-dhall
  Use hpack's phrasing in dhall to write cabal files
  ☆31Updated last week
• yav / dump-core
  ☆45Updated 2 years ago
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆40Updated last year
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• domenkozar / releaser
  Automation of Haskell package release process.
  ☆31Updated 10 months ago
• well-typed / memory-usage-zurihac-2021
  ☆35Updated 3 years ago
• composewell / packcheck
  Universal build and CI testing for Haskell packages
  ☆91Updated 2 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• haskell-works / cabal-cache
  CI assistant
  ☆44Updated 2 weeks ago
• srid / reflex-stone
  Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.
  ☆24Updated 2 years ago
• matchwood / acid-world
  Flexible persistence for Haskell data types primarily based on event logging and checkpoints
  ☆47Updated 5 years ago
• mpickering / ghc-artefact-nix
  Create environments with GHC HEAD artefacts
  ☆28Updated last year
• expipiplus1 / vector-sized
  ☆33Updated 7 months ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆33Updated 3 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• monadfix / jijo
  Bidirectional JSON serialization
  ☆40Updated 3 years ago