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)

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

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

mathematics

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