awesome-repositories.com
© 2026 Bringes Technology SRL·VAT RO45896025·hello@bringes.io
MCPSitemapPrivacyTerms
Dependently Typed Languages · Awesome GitHub Repositories

1 repo

Awesome GitHub RepositoriesDependently Typed Languages

Programming languages that utilize type systems where types can depend on values to verify complex program properties.

Explore 1 awesome GitHub repository matching programming languages & runtimes · Dependently Typed Languages. Refine with filters or upvote what's useful.

  1. Home
  2. Programming Languages & Runtimes
  3. Programming Language Varieties
  4. Programming Languages
  5. Language Paradigms
  6. Dependently Typed Languages

Awesome Dependently Typed Languages GitHub Repositories

Describe the repository you're looking for…
We'll search the best matching repositories with AI.
  • sindresorhus/awesome

    sindresorhus/awesome

    438,690GitHubView on GitHub↗

    This project is a community-curated knowledge base that organizes vast technical ecosystems into a hierarchical, human-readable directory. It serves as a comprehensive index of libraries, frameworks, and methodologies, designed to facilitate discovery and professional development across the entire spectrum of software

    awesomeawesome-listlists