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

1 repo

Awesome GitHub RepositoriesCorrectness-Oriented Languages

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

  1. Home
  2. Programming Languages & Runtimes
  3. Programming Language Varieties
  4. Programming Languages
  5. Language-Specific Resources
  6. Correctness-Oriented Languages

Awesome Correctness-Oriented 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

    Study advanced type systems and development resources for verifying complex program properties through formal logic.

    awesomeawesome-listlists

Explore sub-tags

  • Dependently Typed LanguagesProgramming languages that utilize type systems where types can depend on values to verify complex program properties.
  • High-Reliability LanguagesLanguages and toolsets designed for safety-critical and high-reliability software development.