AssetStudioMod - modified version of Perfare's AssetStudio, mainly focused on UI optimization and some functionality enhancements.

Effective Algebraic Topology in Haskell

为 Github Action 安装 CJK 字体，供使用 pandoc/latex 容器的 Action 自动渲染文档使用

Fun with 🧊

A work-in-progress structure editor for the cooltt proof assistant.

Packaging repository for my Emacs PPA

SML The Living Language

An IntelliJ Plug-in for WDL

Beautiful static documentation for your API

The Wren Programming Language

第三方登录、分享封装库，几行代码即可完成集成，无需配置混淆。

The website code

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.