Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

An advanced keyboard manager

A shell script which checks your $HOME for unwanted files and directories.

💥💻💥 A data-parallel functional programming language

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

A declarative Unix terminal UI library written in Haskell

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

Cryptol: The Language of Cryptography

a small .pdf management tool with a command-line UI

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

Functional sed for JSON

A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems

CHR2 to SQL conversion