Fire up your models with the flame 🔥
Type System for Data Analysis in Python
A PEG Parsing Tool
custom type systems for python in prolog: https://alehander42.me/prolog_type_systems
Hindley–Milner type inference implemented in Python.
Construction replaces computation. A Pydantic architecture where the types are the program.
Add static type information into Python abstract syntax trees.
Row + Implicit arguments + MLF.
NAIL: Native AI Language — A programming language designed for AI to write, not humans to read
Generalized Dynamical Systems — typed compositional specifications for complex systems
A programming language for hybrid AI and quantum computing. Compile-time tensor shape checking, linear quantum types enforcing the No-Cloning Theorem, and native autodiff across classical-quantum boundaries via the Parameter Shift Rule. Transpiles to Python.
implementation of HMF type system, for higher rank types
C-Like compiler for a niche architecture.
make type inference system in python
Human-readable rendering of Python type hints.
PEP 827 type manipulation library for Python 3.14+. Runtime type evaluation and transformation operators inspired by TypeScript.
Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.
💻 Solve various programming challenges with my solutions from platforms like Codeforces, CSES, Advent of Code, and more.
Intelligent rule-based function dispatch for Python
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."