existential-types topic
List
existential-types repositories
real-async-trait-rs
45
Stars
3
Forks
Watchers
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
leibniz
36
Stars
4
Forks
Watchers
Leibniz equivalence and Liskov substitutability library for Scala.