[natertux]

Can people tell me what useful program were produced in Haskell ? I know a few for Ocaml but I dont know much Haskell, so dont know yet any useful program written in Haskell. The program I know for Ocaml are: - coccinelle (semantic patching used by linux kernel devs) - FramaC (formal verification) - Coq (proof assistant) - Rust compiler (I think they bootstraped the language by writting a compiler in ocaml first, now the compiler is written in rust itself)

I just saw pandoc. It seems nice. I know parsec. But I would like to know what kind of haskell programs are actually used in real life ? I know Jane Street does all their dev in Ocaml. Is there similar company for Haskell ?

[unhammer]

One that I use all the time is shellcheck, and git-annex. Others in the mainly-used-by-programmers-category include xmonad and hledger. https://github.com/owickstrom has some GUI Haskell apps.

Facebook's Sigma and https://github.com/wireapp/wire-server may be the ones with the most non-programmer users?

http://postgrest.org/ and https://hasura.io/ seem interesting.

https://www.quora.com/What-is-the-largest-commercial-program... says the largest Haskell code-base is probably Standard Chartered trading system.

more at https://github.com/topics/haskell and https://serokell.io/blog/top-software-written-in-haskell

[ywei3410]

Facebook uses Haskell for [Haxl](https://github.com/facebook/Haxl), Standard Chartered has a their own Haskell [compiler](https://www.reddit.com/r/haskell/comments/6im268/standard_ch...) and a massive code base in Haskell. [Agda](https://github.com/agda/agda) and [Idris](https://github.com/idris-lang/Idris-dev) were mostly written in Haskell as well.

[codygman]

GitHub semantic powers goto definition in GitHub IIRC. Here's why they use Haskell:

https://github.com/github/semantic/blob/master/docs/why-hask...

[knowhy]

git-annex is a useful program written in Haskell

[lzutao]

shellcheck.net/ is really nice to catch bugs in your bash scripts.

[approxim8ion]

The dynamic tiling window manager Xmonad is written in Haskell and while I don't use it personally (I use bspwm), I've heard it's great.

[Dansvidania]

Postgrest is written in Haskell

Also PureScript and Elm are to my knowledge written in Haskell..

[fulafel]

PostgREST and Elm are great.

[umanwizard]

Hasura (GraphQL-on-Postgres)