@input-output-hk

coot

Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.

GitHub Website

Followers

223

Public repos

184

Stars (recent)

Ecosystems

Projects

Repositories this builder owns.

config.nvim

A launch point for your personal nvim configuration

Maps using values' monoidal structure during merging

—

ghc-tags-plugin

Generate tags file for haskell modules (GHC)

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

ghc-tags

A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code navigation (jump to definition).

Projects

Connected narratives

Related builders

Recent activity