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.

Uniqueness of types via invariant lifetimes.

Package for opening existentials with ease

a prototype library for safe money representation

Existential types with lens-like accessors

experimental fold implementation

A refactoring tool to support the adoption of `ExistentialAny` in your Swift codebase.