formalization of the Dependent Object Types (DOT) calculus

An interactive theorem prover based on lambda-tree syntax

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

Dafny for Metatheory of Programming Languages

From Greek to Clojure, Clojure/conj 2013

The Agda mechanization of a gradual security-typed programming language with general mutable references.

易道大化流行宇宙生命动态系统 (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)

Official repository for GIST, PCST, VDC, and other Composite Strategic Theories. Frameworks for Leadership and Governance.

複雑性保存の法則（The Law of Complexity Conservation） - 複雑性は消えない、移転するだけ

GCFT (General Cognitive Field Theory): A rigorous mathematical meta-theory deriving why self-referential cognitive systems must be quantum. Five-volume manuscript + verification code + epistemological reflection on the inevitability of information loss across truncation towers.

mathematics

Holding the Pivot, Letting Go of Form: :A Paradigm Revolution in Quantum Computing through the Qi-Form-Image Framework

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