GitHub topics: existential
stansmida/swift-conformable-existential
Hashable and Codable support for existential types
Language: Swift - Size: 471 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1
ravisiyer/WhoAmIVedantaSFChatGPT
ChatGPT conversation: Who am I Vedanta; Ravi S. Iyer's related book
Language: HTML - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
YYYIKES/death-statement-generator
Generates new death statements using Markovify based on a dataset of last words of Texas death row inmates.
Language: Python - Size: 293 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0
bruderj15/constrained-some
Constrainable existential type & utilities
Language: Haskell - Size: 21.5 KB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
djspiewak/skolems
A microlibrary for Scala encodings of higher-rank quantifiers
Language: Scala - Size: 46.9 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 59 - Forks: 8
furkankly/opengummy
🍬 Deconstructing the Gummy Paradigm: A Fruity Existential Quest
Language: TypeScript - Size: 5.36 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
seanpm2001/The-Existential-Index
The Existential Index is an open source, community driven book regarding Existentialism/Nihilism, what it is, its history, where it is, and how to overcome this negative mindset.
Language: TeX - Size: 569 KB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 2
