ShellCheck, a static analysis tool for shell scripts

Linux VR Desktop

Agda is a dependently typed programming language / interactive theorem prover.

💥💻💥 A data-parallel functional programming language

C to Rust translator

A multilingual package manager for Arch Linux and the AUR.

Research language for array processing in the Haskell/ML family

Haskell to VHDL/Verilog/SystemVerilog compiler

Bluespec Compiler (BSC)

A probabilistic programming language

A curated list of awesome things related to Haskell.

Cap'n Proto for Haskell

Compiling finite generators to digital logic. WIP

The TyTra project (http://tytra.org.uk/) on type-driven program transformations for heterogeneous and parallel computing.