ShellCheck, a static analysis tool for shell scripts

The official formatter for Nix code

Haskell-based shell scripting language

A fast, safe, and intuitive DataFrame library.

A statically typed functional programming language.

An implementation of Montague's PTQ (Proper Treatment of Quantification).

Haskell code associated with the dissertation 'Scope-taking and presupposition satisfaction'.

This program converts a Sahlqvist formula to its local corresponding first order formula.

Implementation of haskell interpreter