An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: static-typechecking

beartype/beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

Language: Python - Size: 12.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3,163 - Forks: 63

lintquarto/lintquarto

Package for running linters, static type checkers and code analysis tools on python code in quarto (.qmd) files.

Language: Python - Size: 1.55 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0

lukemorales/next-safe-navigation

Static type and runtime validation for navigating routes in NextJS App Router with Zod schemas

Language: TypeScript - Size: 342 KB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 177 - Forks: 5

NiclasDimitriadis/TMP_lib

Template metaprogramming library originally spun off from CppOrderBook project.

Language: C++ - Size: 93.8 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0

pidhii/opium

Language: C++ - Size: 507 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

sciexp/python-nix-template

❄️ (om)nix template for python workspace monorepos +/- pyo3 extension modules with uv2nix and flake-parts 🐍

Language: Nix - Size: 557 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 3 - Forks: 0

JCPedroza/unit-test-and-profile-sorting-algorithms-py-3-12

Exercise aimed to review sorting algorithms, unit testing, and function profiling using Python 3.12 new features.

Language: Python - Size: 42 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0