Proposal for parametric modules like Coq's?

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
Haskell Tutorial Backpack

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • really-small-backpack-example

    A really small example of the Backpack module system for Haskell

    • Perhaps Backpack could enable something similar to that?

  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell (by michaelpj)

    • https://github.com/michaelpj/ghc-proposals/blob/imp/first-class-modules/proposals/0000-first-class-modules.rst https://github.com/goldfirere/ghc-proposals/blob/local-modules/proposals/0000-local-modules.rst

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Haskell is the greatest programming language of all time

    7 projects | /r/haskell | 2 Nov 2022

  • Implied bounds and perfect derive

    3 projects | /r/rust | 12 Apr 2022

  • Polymorphic unpacking through backpack?

    2 projects | /r/haskell | 22 Oct 2021

  • Using dependent types to write proofs in Haskell

    1 project | /r/haskell | 3 Jun 2021

  • Video Tutorial: "Using proofs to make functions faster over length-indexed vectors" (Richard Eisenberg)

    1 project | /r/haskell | 13 May 2021