meta-theory
Here are 9 public repositories matching this topic...
An interactive theorem prover based on lambda-tree syntax
-
Updated
Oct 6, 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
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
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."