Topic: "existential-types"
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: Rust - Size: 64.5 KB - Last synced at: 8 days ago - Pushed at: about 3 years ago - Stars: 45 - Forks: 3
sir-wabbit/leibniz
Leibniz equivalence and Liskov substitutability library for Scala.
Language: Scala - Size: 190 KB - Last synced at: 27 days ago - Pushed at: about 3 years ago - Stars: 37 - Forks: 4
rmehri01/bidirectional
↔️ An implementation of "Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types" in Rust.
Language: Rust - Size: 52.7 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
CaptureContext/swift-existential-container
Package for opening existentials with ease
Language: Swift - Size: 19.5 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
dmkolobov/genz
Uniqueness of types via invariant lifetimes.
Language: Rust - Size: 14.6 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
gregorias/safe-money
a prototype library for safe money representation
Language: Haskell - Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
wilfreddenton/fold-ts
experimental fold implementation
Language: TypeScript - Size: 2.38 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
unitb/existential
Existential types with lens-like accessors
Language: Haskell - Size: 33.2 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
