TypeDB: the polymorphic database powered by types
-
Updated
Aug 6, 2024 - Java
TypeDB: the polymorphic database powered by types
TypeQL: the polymorphic query language of TypeDB
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.
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."