Dockerfile linter, validate inline bash, written in Haskell

A statically typed lisp, without a GC, for real-time applications.

C to Rust translator

A notification daemon/center for linux

A programming language with static memory management based on λ-calculus

Haskell-based shell scripting language

Launch processes with Vault secrets in the environment

Simple shell like scripting from Haskell

Unix core utilities implemented in Haskell

The cuteness implementation of a dependently typed language.

Compile Haskell-like code into C++ template metaprograms

A gatekeeper for your commits

A gatekeeper for your commits