YOUR OPEN-SOURCE TOOLKIT

Discover tools that make developers better.

A curated directory of open-source repositories, developer tools and practical resources worth adding to your workflow.

ai hacktoberfest python llm rust

2771Curated repositories

66,855.6kTotal GitHub stars

Open sourceBuilt by the community

proof repositories

Hand-picked tools to improve your workflow.

TypeScript

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

bend cuda dependent-types

25k 800 97

Updated 13/11/2026 View details