graninas / automatic-whitebox-testing-showcase

Related projects: ⓘ

• etorreborre / registry
  Components as records of functions for Haskell
  ☆165Updated 7 months ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆94Updated 2 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆102Updated last year
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆99Updated 2 years ago
• tdietert / types-as-specifications
  ☆47Updated 4 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 9 months ago
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆150Updated 8 months ago
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆41Updated 4 years ago
• graninas / Andromeda
  ☆72Updated 2 weeks ago
• gvolpe / shopping-cart-haskell
  Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
  ☆64Updated 3 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆214Updated 2 months ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆47Updated 2 years ago
• oswald2 / haskell_articles
  A List of Haskell articles on good design, good testing
  ☆45Updated 4 years ago
• lorepub / moot
  Moot is a CFP and event management system!
  ☆66Updated 5 years ago
• Eventuria / demonstration-gsd
  GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
  ☆51Updated 5 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆118Updated 2 years ago
• unrelentingtech / magicbane
  A web framework that integrates Servant, EKG, fast-logger, wai-cli… | now on https://codeberg.org/valpackett/magicbane
  ☆119Updated last year
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• utdemir / distributed-dataset
  A distributed data processing framework in Haskell.
  ☆114Updated 4 years ago
• freeman42x / haskell-editor-setup
  Easy instructions for setting up Haskell editors / IDEs on any major operating system.
  ☆101Updated 5 months ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 4 years ago
• lexi-lambda / mtl-style-example
  A small example of using mtl style to unit test effectful code
  ☆106Updated 6 years ago
• EncodePanda / todo-rest
  Example of usage polysemy and servant
  ☆56Updated 5 years ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆202Updated 5 months ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• ghcjs / jsaddle
  JavaScript interface that works with GHCJS or GHC
  ☆116Updated 2 months ago
• marcin-rzeznicki / libjwt-typed
  A Haskell implementation of JSON Web Token (JWT)
  ☆36Updated 7 months ago
• kowainik / cake-slayer
  🍰🔪 Architecture of Haskell backend applications
  ☆131Updated last year
• nodew / haskell-realworld-example
  A Haskell implementation of realworld.io
  ☆53Updated 6 months ago