aspiwack / haskell-benign

Related projects ⓘ

Alternatives and complementary repositories for haskell-benign

• alexfmpe / semantic-satiation
  ☆14Updated last year
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 2 years ago
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 5 months ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 5 months ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• isovector / ldtk-types
  Types for ldtk
  ☆14Updated 7 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆33Updated 6 months ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• shapr / trynocular
  lazy generators with observation
  ☆15Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated 3 weeks ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 3 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 6 months ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 3 weeks ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆19Updated last year
• haskell-works / oops
  ☆22Updated 10 months ago
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆31Updated last year
• mstksg / nonempty-containers
  Efficient non-empty variants of containers data types, with full API
  ☆25Updated 4 months ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆29Updated 11 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 months ago
• aaronallen8455 / Typson
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Updated 3 years ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆21Updated last month
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago