Unbearably fast near-real-time pure-Python runtime-static type-checker.
-
Updated
Oct 10, 2026 - Python
#
static-typechecking
Here are 11 public repositories matching this topic...
Static type and runtime validation for navigating routes in NextJS App Router with Zod schemas
typescript validation navigation nextjs type-safety next runtime-validation next-js app-router zod vercel app-router-nextjs static-typechecking
-
Updated
Jun 25, 2025 - TypeScript
Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.
-
Updated
Sep 30, 2026 - Python
Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.
-
Updated
Jul 7, 2026 - Python
Jupyter (IPython) extension for type-checking Jupyter notebooks and IPython environments with @beartype.
-
Updated
Jul 15, 2025 - Shell
❄️ nix template for python monorepos +/- rust pyo3 extension modules with flake-parts, uv2nix, and crane 🐍
python nix functional-programming containers conda monorepo python3 oci pixi template-project devcontainer just railway-oriented-programming runtime-typechecking uv pyo3 nix-flake static-typechecking
-
Updated
Oct 10, 2026 - Nix
A tiny statically-typed programming language implemented in Go.
-
Updated
Sep 26, 2026 - Go
Template metaprogramming library originally spun off from CppOrderBook project.
functional-programming monad functor template-metaprogramming monoid combinatorics type-checking parameter-pack type-pack static-typechecking applicative-functor non-type-pack
-
Updated
Aug 15, 2025 - C++
prolog prolog-implementation scripting-language type-system chicken-scheme chicken static-type-system code-translator static-typechecking
-
Updated
Feb 26, 2026 - C++
Exercise aimed to review sorting algorithms, unit testing, and function profiling using Python 3.12 new features.
python profile education unit-testing sorting-algorithms type-hints python-unittest python312 static-typechecking
-
Updated
Apr 18, 2024 - Python
A small CI-pipeline for Python 3.14: Provides linting, format check, static code checking, and testing using Ruff, MyPy, and PyTest, and may build a sphinx doc to a separate branch or deploy it on ReadTheDocs.
python testing linting ci formatting sphinx ci-cd python3 pytest type-checking sphinx-doc ruff mypy pytest-cov mit-0 code-formatting static-typechecking python314 pytest-coverage
-
Updated
Aug 7, 2026
Add this topic to your repo
To associate your repository with the static-typechecking topic, visit your repo's landing page and select "manage topics."