tools/ languages/ libraries stacks/ paths/ learn contribute

★ star

# Dependent-Types

devtools/

// Wikipedia for developer tools. // Community-maintained · open source · MIT.

content/

├── tools/ 9 ├── languages/ 100 ├── frameworks/ 70 ├── libraries/ 20 ├── stacks/ 7 ├── paths/ 1 ├── books/ 1 ├── courses/ 1 ├── newsletters/ 11 └── resources/ 1

$ contribute

› how to contribute › add a tool › report an issue › open pull requests › ★ star on github

// project

› license: MIT › CONTRIBUTING.md › llms.txt › index.json › sitemap.xml

devtools/ · MIT · hugo · github pages © 2026 · open source

devtools/ search

/

↑↓ navigate ↵ open esc close