typechecking topic

A garden of small programming language implementations 🪴

brendanzab

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts o...

smarie

language verification, construction, and analysis

joelburget

A simple Rust like Result type for Python 3. Fully type annotated.

rustedpy

Webpack support for validating TypeScript definitions at runtime.

spotify