meta-theory
Here are 11 public repositories matching this topic...
An interactive theorem prover based on lambda-tree syntax
-
Updated
Nov 25, 2025 - OCaml
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
-
Updated
Aug 20, 2023 - HTML
Dafny for Metatheory of Programming Languages
-
Updated
Sep 4, 2025 - Dafny
The Agda mechanization of a gradual security-typed programming language with general mutable references.
-
Updated
Apr 5, 2025 - Agda
易道大化流行宇宙生命动态系统 (The Great Flow of Yi Dao cosmic life dynamic system)是一个基于《易经》(Yi Jing / I Ching)哲学的创新性元理论框架(The Great Flow of Yi Dao system is an innovative meta-theoretical framework based on the Yi Jing, Cosmic Life Dynamic System)
-
Updated
Nov 25, 2025
Holding the Pivot, Letting Go of Form: :A Paradigm Revolution in Quantum Computing through the Qi-Form-Image Framework
-
Updated
Oct 19, 2025
Official repository for GIST, PCST, VDC, and other Composite Strategic Theories. Frameworks for Leadership and Governance.
-
Updated
Oct 10, 2025
mathematics
-
Updated
Dec 8, 2025 - TeX
Qi-Image-Form Theory is a revolutionary meta-theoretical framework proposed by Chen Haiping, which deeply integrates the essence of Eastern philosophy (such as the I Ching, Daoism, and Traditional Chinese Medicine) with modern scientific paradigms. It aims to cognitive science, physics, and interdisciplinary research
-
Updated
Oct 19, 2025 - HTML
Improve this page
Add a description, image, and links to the meta-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the meta-theory topic, visit your repo's landing page and select "manage topics."