GitHub topics: martin-lof-type-theory
MOONLAPSED/Morphological
Morpho(Win11) Agent container: functions as a quantized kernel for agentic motility, sharing foundational similarities with a Hilbert Space Kernel. It distinguishes itself by integrating an ADS/CFT-derived, Noetherian topological invariant, facilitating autopoietic automorphisms within a quine-like, epistemologically grounded, Quantum Field Theory.
Language: Python - Size: 2.44 MB - Last synced at: about 21 hours ago - Pushed at: about 23 hours ago - Stars: 2 - Forks: 0
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
Language: Agda - Size: 5.8 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 227 - Forks: 20
saki-lang/saki-dev
A simple scala-like dependent type programming language
Language: Scala - Size: 605 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 17 - Forks: 2
lane-core/kitcat
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
Language: Agda - Size: 134 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0
lepton-lang/mltt-type-checker
An MLTT type checker implemented using Saki-Lang
Size: 7.81 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
FilippoFantinato/type-theory
Type Theory course ; Master's Degree in Computer Science @ UniPD
Language: Agda - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
