well-typed / unfolder

Related projects ⓘ

Alternatives and complementary repositories for unfolder

• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆69Updated 3 months ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆108Updated 10 months ago
• tomjaguarpaw / bluefin
  ☆73Updated this week
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆102Updated 2 weeks ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated last year
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆72Updated last year
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated 2 weeks ago
• haskell / core-libraries-committee
  ☆95Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆89Updated last year
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 3 months ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆173Updated last month
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• dnikolovv / practical-haskell
  A collection of Practical Haskell bits.
  ☆84Updated 2 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆124Updated this week
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆166Updated last year
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆128Updated this week
• grin-compiler / haskell-code-spot
  Visual tool to spot odd runtime behaviour of Haskell programs.
  ☆108Updated 3 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆169Updated 2 weeks ago
• tonyday567 / checklist
  How I start Haskell.
  ☆99Updated last month
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆83Updated 3 weeks ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆37Updated 10 months ago
• effectfully-ou / sketches
  A Haskell blog
  ☆126Updated 4 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated 10 months ago
• seanhess / hyperbole
  Haskell interactive serverside web framework inspired by HTMX
  ☆89Updated this week
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• ndmitchell / extra
  Extra Haskell functions
  ☆94Updated last month
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated last year