TCRTS - Turing Complete Rust Type system

This repo contains number of types and traits which can be use to do some type level operations like addition, subtraction, multiplication, lists, etc.

You can read about it in my blog