Monthly Hask Anything (January 2022)

• learn-you-a-haskell

  77 294 0.0 Makefile

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

The website https://learnyouahaskell.com/ is down. Does anyone know what's happening with it?. Fortunately, it's mirrored at archive.org.

• graph-trace

  1 16 1.0 Haskell

  Trace the call graph of a Haskell program

Did you try https://hackage.haskell.org/package/haskell-stack-trace-plugin ? Or https://github.com/aaronallen8455/graph-trace ? :)

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• inline-js

  2 128 0.0 Haskell

  Call JavaScript from Haskell, and vice versa!

  

Anyone using https://github.com/tweag/inline-js for anything interesting?

• coq

  87 4,602 10.0 OCaml

  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.

Suggest a related project