ShellCheck, a static analysis tool for shell scripts

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

C to Rust translator

Cryptol: The Language of Cryptography

Huge list of videos, talks, courses for Haskell programming language.

A Haskell library implementing the Noise protocol.

Oblivious transfer for multiparty computation

Haskell RSA Library