Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Compiler for Elm, a functional language for reliable webapps.

A static website compiler library in Haskell

Haskell to JavaScript compiler, based on GHC

A wiki using HAppS, pandoc, and git

Haskell to VHDL/Verilog/SystemVerilog compiler

A proper subset of Haskell that compiles to JavaScript

Bluespec Compiler (BSC)

Crucible is a library for symbolic simulation of imperative programs

Main source code repository of the Tamarin prover for security protocol verification.

The Ivory EDSL

A lexical analyser generator for Haskell

The Happy parser generator for Haskell

A (Haskell DSL) stream language for generating hard real-time C code.

Compositional Representable Executable Machines

A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.