type-checked

ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference

A full & optimized Luau parser in luau, both AST and CST with error recovery & various parsing options

Custom imperative programming language compiled with LLVM

Fast, flexible, lazy and type-safe Git commands in Python

A Rust crate for type-checked propositional logic proofs.

TNID: Typed Named IDs. Type-checked IDs with a name, UUID compatible

Type checked pipeline for processing Functions

Rust TNID implementation

Parse Types from any Object into a node/tree structure

Portable Python toolkit for building professional desktop applications with Dear ImGui

TNID: Typed Named IDs (website)

Generic java API/interface processor