GitHub repository: vincentk/dedekind
Primary language: Java
Description: Strongly typed lazy linear algebra in core java 21+.