There are 0 repository under existential-types topic.
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 equivalence and Liskov substitutability library for Scala.
↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
Package for opening existentials with ease
a prototype library for safe money representation
A refactoring tool to support the adoption of `ExistentialAny` in your Swift codebase.
experimental fold implementation