Alternatives and similar repositories for certainty-by-construction

Users that are interested in certainty-by-construction are comparing it to the libraries listed below

• sellout / compiling-anything-to-categories

  View on GitHub
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Apr 3, 2024Updated last year
• chshersh / dr-cabal

  View on GitHub
  📊 Haskell dependencies build times profiler
  ☆74Jan 10, 2023Updated 3 years ago
• haskell-spec / haskell-spec

  View on GitHub
  Formal specification of the Haskell Language Report
  ☆30Jan 25, 2026Updated 2 weeks ago
• gvolpe / postgresql-resilient

  View on GitHub
  Automatic re-connection support for PostgreSQL.
  ☆15Aug 12, 2021Updated 4 years ago
• parsonsmatt / prio

  View on GitHub
  Plucky Runtime IO
  ☆16Dec 20, 2024Updated last year
• con-kitty / categorifier

  View on GitHub
  Interpret Haskell programs into any cartesian closed category.
  ☆69Updated this week
• TOTBWF / omit-generics

  View on GitHub
  Omit fields for instance deriving
  ☆37Jun 5, 2020Updated 5 years ago
• serokell / blog-posts

  View on GitHub
  The place for submitting new articles to the Serokell blog.
  ☆16Mar 15, 2024Updated last year
• lua-vr / organon

  View on GitHub
  📖 view and generate static websites from your Org files (WIP).
  ☆20Feb 10, 2024Updated 2 years ago
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• codedownio / servant-typescript

  View on GitHub
  TypeScript client generation for Servant
  ☆28Jun 3, 2025Updated 8 months ago
• drshade / haskell-mcp-server

  View on GitHub
  An Awesome MCP Server Framework for Haskell
  ☆40Updated this week
• AnthonySuper / jordan

  View on GitHub
  Abstract, inspectable JSON representation of Haskell objects
  ☆26Jul 4, 2022Updated 3 years ago
• agda / cornelis

  View on GitHub
  agda-mode for neovim
  ☆176Jan 22, 2026Updated 3 weeks ago
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 2 months ago
• MercuryTechnologies / ada

  View on GitHub
  A helpful AI assistant for Mercury engineers
  ☆21Jan 9, 2026Updated last month
• haskell-servant / servant-blaze

  View on GitHub
  ☆12Dec 13, 2025Updated 2 months ago
• srid / unionmount

  View on GitHub
  Union mount in Haskell, with fsnotify
  ☆12Dec 23, 2025Updated last month
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• alt-romes / ghengin

  View on GitHub
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆76Updated this week
• conal / Fran

  View on GitHub
  First Haskell implementations of Fran/FRP
  ☆34Jan 31, 2019Updated 7 years ago
• DavidEichmann / alpaca-netcode

  View on GitHub
  Game NetCode Solved
  ☆26Apr 11, 2021Updated 4 years ago
• polysemy-research / polysemy

  View on GitHub
  higher-order, no-boilerplate monads
  ☆1,076Mar 15, 2025Updated 10 months ago
• isovector / thinking-with-types

  View on GitHub
  📖 source material for Thinking with Types
  ☆493Mar 6, 2023Updated 2 years ago
• sullyj3 / buttplug-hs-core

  View on GitHub
  A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
  ☆27Sep 25, 2023Updated 2 years ago
• gabebw / most-used

  View on GitHub
  Find your most-used shell commands
  ☆13Dec 14, 2020Updated 5 years ago
• fosskers / microlens-aeson

  View on GitHub
  Lenses and Traversals for Aeson, based on Microlens.
  ☆15Dec 12, 2025Updated 2 months ago
• phadej / kleene-type

  View on GitHub
  Regular expressions of types
  ☆16Sep 13, 2018Updated 7 years ago
• TristanCacqueray / hadertoy

  View on GitHub
  Haskell implementation of Glumpy
  ☆12Jun 21, 2021Updated 4 years ago
• thma / generic-persistence

  View on GitHub
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆13Dec 12, 2025Updated 2 months ago
• stevana / coroutine-state-machines

  View on GitHub
  State machines with async I/O capabilities
  ☆12Apr 13, 2023Updated 2 years ago
• obsidiansystems / vessel

  View on GitHub
  Functor-parametric containers
  ☆20Jan 19, 2025Updated last year
• AJChapman / co-log-polysemy-formatting

  View on GitHub
  A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
  ☆12Jul 16, 2021Updated 4 years ago
• jgabry / lander-stan-class-2021

  View on GitHub
  Lander Analytics Bayes/Stan Class 2021
  ☆10Aug 3, 2021Updated 4 years ago
• cachix / gptcomment

  View on GitHub
  ☆16Mar 6, 2024Updated last year
• haskell-wasm / ghc-wasm-miso-examples

  View on GitHub
  ☆58Oct 11, 2025Updated 4 months ago
• jakesco / wordle-hs

  View on GitHub
  Command line version of Wordle.
  ☆59Feb 25, 2022Updated 3 years ago
• serokell / hackage-search

  View on GitHub
  An application that lets you search for anything on Hackage
  ☆25Dec 19, 2025Updated last month