GitHub topics: universes
ionathanch/TTBFL
A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
Language: TeX - Size: 1.3 MB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 1
blackbird-agency/magento2-universes
The BlackbirdUniverses module for Magento allows you to easily add differents universes on your website.
Language: PHP - Size: 14.6 KB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1
UnicornSnuggler/Crossover-Roadmap
A never-ending quest to unite all fictional universes.
Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
ArtGateOne/ArtNetStarGate
send ram data as artnet frames
Language: C++ - Size: 1.65 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 2
