ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

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

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Easy dependency management for Nix projects

Scriptable desktop app to correct the perspective of images

Functional sed for JSON

Give your dependencies stars on GitHub! 🌟

A lightweight product recommendation system (Item Based Collaborative Filtering) developed in Haskell.