DMX Knowledge Building Platform

TypeQL language library for Java

Automated Amortised Complexity Analysis of Self-Adjusting Data Structures

TypeDB: a strongly-typed database

Name, Internal Name and Structural Equivalence check for C language written in Java

Model-Driven Development Framework for Java

Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability

A numeric tower and related types implemented in Java.