Monthly Hask Anything (January 2022)

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

Our great sponsors
  • Mergify - Tired of breaking your main and manually rebasing outdated pull requests?
  • SonarQube - Static code analysis for 29 languages.
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • learn-you-a-haskell

    “Learn You a Haskell for Great Good!” by Miran Lipovača

    The website is down. Does anyone know what's happening with it?. Fortunately, it's mirrored at

  • graph-trace

    Trace the call graph of a Haskell program

    Did you try ? Or ? :)

  • Mergify

    Tired of breaking your main and manually rebasing outdated pull requests?. Managing outdated pull requests is time-consuming. Mergify's Merge Queue automates your pull request management & merging. It's fully integrated to GitHub & coordinated with any CI. Start focusing on code. Try Mergify for free.

  • inline-js

    Call JavaScript from Haskell, and vice versa!

    Anyone using for anything interesting?

  • coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    Yes, PL is where Haskell is relatively popular. Although if I would have to pick one language that dominates in PL research then I would say it is Coq, but perhaps Haskell is the second or third most popular language in PL research.

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