A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.

Materials of the talk "Typify This"

Building algorithmic abstractions

Python module to enforce strong typing at runtime

🦩 Object-oriented static-typing language

(Concept) Invisible static type checker for JavaScript

Basic support for static typing in Lua

Replace string literal type hints

Strongly Typed Python

This library is primarily used by "types-depot" projects. See: https://github.com/ORESoftware/types-depot

Simple example project using GraphQL-Flutter and Artemis for static type generation

A strongly-typed handy scripting language with type inference

Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!

The Oyi Programming Language.

Course on static typing in python

Supports enforcing type annotations on functions and coroutines. Complete support for types from typing module.

Simple and powerful programming language with type inference

Enforce annotations in your python code