ShellCheck, a static analysis tool for shell scripts

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

🇪🇺 Wire back-end services

Haskell to JavaScript compiler, based on GHC

Cryptol: The Language of Cryptography

Bluespec Compiler (BSC)

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Haskell IDE

The Egison Programming Language

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

The Software Analysis Workbench

TLS/SSL implementation in haskell

The Ivory EDSL

Pandoc based document editor and converter in your browser.

Λ ⚬ λ: Functional Lattice Cryptography

Labeled IO Library

A utility for deterministically generating ssh keypairs

External repository for personal dotfiles

Non-blocking concurrent hashmap for Haskell

jQuery bindings

An experiment with data encrypted at Rest in Haskell

Convert Lmod JSON to HTML, RST or MetaDoc XML