All Categories → No Category → subtyping

Top 3 subtyping open source projects

Leibniz equivalence and Liskov substitutability library for Scala.

✭ 35

scala java equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types

SubML (prototype) language

✭ 21

ocaml emacs lisp Vim Script Makefile polymorphism termination prototype-language subtyping

Rust library for versioned data types

✭ 27

rust Makefile schema proc-macro subtyping

1-3 of 3 subtyping projects