GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Build software better, together

#

static-typechecking

Star

Here are 10 public repositories matching this topic...

Language: All
Filter by language
All 10 Python 4 C++ 1 Go 1 Nix 1 Shell 1 TypeScript 1

beartype / beartype

Star 3.5k

Unbearably fast near-real-time pure-Python runtime-static type-checker.

python3 runtime-typechecking static-typechecking
  • Updated Nov 12, 2026
  • Python

lukemorales / next-safe-navigation

Star 176

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

beartype / pytest-beartype

Star 26

Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.

python3 pytest runtime-typechecking static-typechecking
  • Updated Sep 30, 2026
  • Python

lintquarto / lintquarto

Star 12

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

lint linting linter linters quarto qmd static-typechecking quartodoc static-type-checking
  • Updated Jul 7, 2026
  • Python

beartype / ipython-beartype

Star 11

Jupyter (IPython) extension for type-checking Jupyter notebooks and IPython environments with @beartype.

jupyter ipython python3 runtime-typechecking static-typechecking
  • Updated Jul 15, 2025
  • Shell

sciexp / python-nix-template

Star 5

❄️ 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 Nov 12, 2026
  • Nix

shsiddhant / gotiny

Star 1

A tiny statically-typed programming language implemented in Go.

golang interpreter repl ast recursive-descent-parser tree-walking-interpreter static-typechecking
  • Updated Sep 26, 2026
  • Go

pidhii / opium

Star 0
prolog prolog-implementation scripting-language type-system chicken-scheme chicken static-type-system code-translator static-typechecking
  • Updated Feb 26, 2026
  • C++

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

Star 0

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

omicronZero / Python-CI-Base

Star 0

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."

Learn more

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.