Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

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

A modern proof language

💥💻💥 A data-parallel functional programming language

An interpreter for learning and exploring pure λ-calculus

Capstone Thesis (2024) , Advisor : Professor Srikumar Subramaniam

Built this to convert any given propositional logic formula into it's equivalent CNF (Conjuctive Normal form).

A useful introduction to the functional programming paradigm through Haskell.