existential-types

There are 7 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:Rust45373

  • hobwekiva/leibniz

    Leibniz equivalence and Liskov substitutability library for Scala.

    Language:Scala36604

  • rmehri01/bidirectional

    ↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.

    Language:Rust4200

  • dmkolobov/genz

    Uniqueness of types via invariant lifetimes.

    Language:Rust10

  • gregorias/safe-money

    a prototype library for safe money representation

    Language:Haskell120

  • unitb/existential

    Existential types with lens-like accessors

    Language:Haskell30

  • wilfreddenton/fold-ts

    experimental fold implementation

    Language:TypeScript30