graninas / Pragmatic-Type-Level-Design

Related projects: ⓘ

• graninas / Andromeda
  ☆72Updated 2 weeks ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆120Updated last year
• marcosh / crem
  Compositional Representable Executable Machines
  ☆101Updated 9 months ago
• graninas / automatic-whitebox-testing-showcase
  Automatic white-box testing with Free monads: approach description and showcase
  ☆83Updated 2 years ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆90Updated 2 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆73Updated last year
• Simspace / avaleryar
  A logical authorization system
  ☆49Updated 2 years ago
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated 10 months ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 9 months ago
• purescript / registry-dev
  Development work related to the PureScript Registry
  ☆97Updated this week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆134Updated 10 months ago
• haskellfoundation / HaskellSchool
  ☆50Updated 2 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆56Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆36Updated 8 months ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆76Updated 3 weeks ago
• csicar / pskt
  Kotlin-backend for PureScript
  ☆81Updated 3 years ago
• visortelle / haskell-spotlight
  VSCode extension for Haskell
  ☆108Updated 8 months ago
• tweag / haskell-training
  Material for Haskell training
  ☆32Updated last year
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 4 years ago
• ajnsit / purescript-companies
  Community curated list of companies that use Purescript
  ☆137Updated 8 months ago
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆160Updated 11 months ago
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆150Updated 8 months ago
• kowainik / cake-slayer
  🍰🔪 Architecture of Haskell backend applications
  ☆131Updated last year
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆31Updated 6 months ago
• aristanetworks / purescript-backend-optimizer
  Optimizing backend toolkit and modern ECMAScript backend for PureScript
  ☆199Updated 3 months ago
• purescript-react / purescript-lumi-components
  Library of our UI components
  ☆105Updated 6 months ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆121Updated this week
• nikita-volkov / hasql-th
  Template Haskell utilities for Hasql
  ☆114Updated 2 months ago
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆91Updated 4 years ago
• ndmitchell / record-dot-preprocessor
  A preprocessor for a Haskell record syntax using dot
  ☆129Updated 8 months ago