PROJECTS
语言与数学 / Language & Mathematics

Two projects, two ways to explore

写出清晰的程序。
建立连贯的理解。

Clearer programs. Connected understanding.

编程语言 / PROGRAMMING LANGUAGE

xelanguage

Xe 是一门静态类型编译语言,用 << 显式移动资源,用后缀 @ 取只读地址。检查源码后生成 C11,再由系统编译器构建。

A statically typed language with explicit resource moves (<<) and address-taking (@), compiling through C11.

静态类型 / Static types资源语义 / ResourcesC11
查看项目 / View project

数学学习 / MATHEMATICS LEARNING

MTreeLab

从概念依赖出发,串联数学讲义、交互图与独立习题库。沿所需前置逐步学习,在知识图谱与阅读之间自然往返。

A graph-based mathematics learning space connecting prerequisites, notes, interactive figures, and exercises.

知识图谱 / Knowledge graph讲义 / Notes习题 / Exercises
进入网站 / Open website