Projects in Awesome Lists tagged with existential-types

A curated list of projects in awesome lists tagged with existential-types .

• Sort

  • Recently synced
  • Stars

https://github.com/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

async-trait existential-types generic-associated-types higher-kinded-types hkt proc-macro proc-macro-attributes

Last synced: 16 May 2025

https://github.com/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

async-trait existential-types generic-associated-types higher-kinded-types hkt proc-macro proc-macro-attributes

Last synced: 04 Apr 2025

https://github.com/rmehri01/bidirectional

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

bidirectional-typechecking existential-types rust

Last synced: 10 Apr 2025

https://github.com/gregorias/safe-money

a prototype library for safe money representation

existential-types haskell type-safe

Last synced: 14 Mar 2025

https://github.com/capturecontext/swift-existential-container

Package for opening existentials with ease

existential-types generics protocols runtime spm swift swift-package-manager type-erasure

Last synced: 07 Mar 2025