Infra
Rational number representation using "floating-bar" numbers
1011X
Experimental reversible programming language