Automatic white-box testing with Free monads: approach description and showcase
β85Jan 1, 2022Updated 4 years ago
Alternatives and similar repositories for automatic-whitebox-testing-showcase
Users that are interested in automatic-whitebox-testing-showcase are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Profunctor based lightweight implementation of Lensesβ72May 30, 2023Updated 3 years ago
- π Typeclass for monads that can be unlifted to arbitrary base monadsβ25Apr 21, 2021Updated 5 years ago
- Purescript wrapper for Sequelize - http://docs.sequelizejs.com/β16Jul 11, 2023Updated 3 years ago
- π§ Type-safe memory unitsβ61Nov 6, 2020Updated 5 years ago
- Code and materials for my book "Functional Design and Architecture"β534Nov 30, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Flow Monad for your Backendβ33Jul 11, 2023Updated 3 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.β1,115Dec 18, 2024Updated last year
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Nov 16, 2021Updated 4 years ago
- Architecture of the Haskell web applicationsβ309Apr 6, 2021Updated 5 years ago
- Monadic parsers libraryβ16Apr 24, 2026Updated 6 months ago
- Some info that supposed to help to understand PureScript from Haskell perspectiveβ32Aug 22, 2018Updated 8 years ago
- Haskell command line text stream processorβ88Jul 11, 2019Updated 7 years ago
- An implementation of first-class pattern matches in Haskell.β13Feb 25, 2026Updated 8 months ago
- Day 9 of Advent of Haskell - Denotational Designβ98Jan 2, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A library to integrate hedgehog tests into your hspec test suite.β30Aug 28, 2024Updated 2 years ago
- Software engineering and artificial general intelligence blog of RΔzvan Flavius Pandaβ18Mar 26, 2025Updated last year
- Server-side VDOM UI framework for Concurβ138Oct 18, 2020Updated 6 years ago
- A Haskell blogβ155Oct 10, 2025Updated last year
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validatβ¦β33Jun 22, 2022Updated 4 years ago
- A tiny implementation of dependent types.β11Oct 24, 2017Updated 9 years ago
- EulerHS: full-fledged framework for creating web backendsβ120Sep 15, 2024Updated 2 years ago
- Idris version of Domain Modeling Made Functional Book.β146Oct 25, 2021Updated 5 years ago
- a cute and simple golden test runner for CLI applicationsβ47Jul 24, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Write Apps like Mathematical Equations!β241Aug 7, 2024Updated 2 years ago
- A work stealing schedulerβ82Jan 14, 2025Updated last year
- βΎοΈ Sized listβ48Jan 16, 2026Updated 9 months ago
- Simple comparative benchmarks for CSV parsing librariesβ17Jan 4, 2019Updated 7 years ago
- Higher-kinded data via genericsβ171Aug 20, 2024Updated 2 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theoryβ165Oct 19, 2021Updated 5 years ago
- πββοΈ Lightweight pure validation based on Applicative and Selective functorsβ77Aug 6, 2026Updated 2 months ago
- higher-order, no-boilerplate monadsβ1,076Oct 10, 2026Updated 3 weeks ago
- π Flexible and configurable modern #Haskell logging frameworkβ263Sep 28, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extensible, Type Safe Error Handling in Haskellβ13Dec 22, 2020Updated 5 years ago
- Community curated list of companies that use Purescriptβ144Dec 2, 2024Updated last year
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.β179Aug 31, 2022Updated 4 years ago
- Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"β65Jul 24, 2021Updated 5 years ago
- Haskell + Azure DevOps Demoβ30Nov 7, 2020Updated 5 years ago
- Source Code for 'Practical Haskell' by Alejandro Serrano Menaβ45Feb 10, 2020Updated 6 years ago
- Not a description.β126Jun 27, 2019Updated 7 years ago