谢宇恒 / Xie Yuheng

A categorical semantics library in Agda.

xieyuheng

Libraries and tools for topological and geometric modeling.

xieyuheng

backup of the joy programming language

xieyuheng

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

xieyuheng

xieyuheng

A framework for building markdown extensions.

xieyuheng

A text editor embedded in the browser, while still can edit your local files. | Preview Markdown | View image | Listen audio | Watch video

xieyuheng

a collection of tools to do tangle in rust

xieyuheng

Validate untyped data and return well typed result.

xieyuheng