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

GitHub topics: static-typechecking

NiclasDimitriadis/TMP_lib

Template metaprogramming library originally spun off from CppOrderBook project.

Language: C++ - Size: 84 KB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 0 - Forks: 0

lintquarto/lintquarto

Package for running linters and static type checkers on quarto .qmd files.

Language: Python - Size: 1.32 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0

beartype/beartype

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

Language: Python - Size: 12.1 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 3,085 - Forks: 62

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: 5 days ago - Pushed at: 11 days ago - Stars: 172 - Forks: 5

pidhii/opium

Language: C++ - Size: 380 KB - Last synced at: 19 days ago - Pushed at: 19 days 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: 556 KB - Last synced at: about 1 month ago - Pushed at: about 1 month 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: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0