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
