existential-types

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.

Uniqueness of types via invariant lifetimes.

Package for opening existentials with ease

a prototype library for safe money representation

experimental fold implementation

Existential types with lens-like accessors

Article on using linear types for "naked" existential type variables.

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