existential-types

There are 9 repositories under existential-types topic.

4lDO2/real-async-trait-rs
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
Language:Rust45 3 72
sir-wabbit/leibniz
Leibniz equivalence and Liskov substitutability library for Scala.
Language:Scala37 5 04
rmehri01/bidirectional
↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
Language:Rust6 2 00
CaptureContext/swift-existential-container
Package for opening existentials with ease
Language:Swift1 0 0
dmkolobov/genz
Uniqueness of types via invariant lifetimes.
Language:Rust1 1 00
gregorias/safe-money
a prototype library for safe money representation
Language:Haskell1 2 0
nhiroyasu/ExistentialAnyRefactor
A refactoring tool to support the adoption of `ExistentialAny` in your Swift codebase.
Language:Swift
unitb/existential
Existential types with lens-like accessors
Language:Haskell2 0
wilfreddenton/fold-ts
experimental fold implementation
Language:TypeScript1 0