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: http://alehander42.me/prolog_type_systems
Add static type information into Python abstract syntax trees.
Row + Implicit arguments + MLF.
C-Like compiler for a niche architecture.
implementation of HMF type system, for higher rank types
make type inference system in python
Sagitta is a Haskell inspired strict runtime type system for Python.
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.
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."