Agda
Agda is a dependently typed, total
functional programming language and
interactive theorem prover based on
Martin-Lfs type theory. It allows
expressing progr...
Enter
erd
erd is a Haskell-based command-line
tool that transforms a plain-text
description of a relational database
schema into a graphical
entity-relationship diagram ...
Enter
zsh-git-prompt
zsh-git-prompt is a Z shell prompt
script that displays rich Git repository
information in your shell prompt, such
as branch, ahead/behind status, staged
chang...
Enter
GHCid
ghcid is a minimalist development tool
for Haskell that runs GHCi as a daemon,
watches source files for changes,
reloads automatically, and shows compile
error...
Enter
Nix Output Monitor
nix-output-monitor (also known as nom)
is a workflow tool that enhances
readability and usability of nix-build
output by providing pretty, parsed
summaries and...
Enter
data.table
data.table is an R package that extends
base Rs data.frame for high-performance
data manipulation. It offers concise
syntax, blazing speed, and
memory-efficie...
Enter
n8n Workflows
This repository aggregates a
well-organized collection of
community-submitted automation workflows
built for n8n, a fair-code,
self-hostable automation tool. I...
Enter
MindsDB
MindsDB is an AI data solution that
enables humans, AI, agents, and
applications to query data in natural
language and SQL, and get highly
accurate answers acr...
Enter
Red Discord Bot
Red is a fully modular bot, meaning all
features and commands can be
enabled/disabled to your liking, making
it completely customizable. This is a
self-hosted ...
Enter