An award searching project aims to using public data by airlines more efficiently.

A modern commutative diagram editor for the web.

An online IDE for visual programming in Prolog

Open-source scientific and technical publishing system built on Pandoc.

Textbus 是一个组件化的、数据驱动的富文本框架，支持在线协同编辑，拥有非常好的扩展性和可定制性，可使用 Viewfly、Vue 或 React 直接渲染富文本，是构建复杂富文本的不二之选！

Web components for math display and input

Desktop shell for Coflat documents.

SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

🍼 Plugin driven WYSIWYG markdown editor framework.

Create beautiful diagrams just by typing notation in plain text.

delivery tracking library for Node.js

A modern proof language

Theoretical solutions for LeetCode problems.

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

Writing is a lightweight distraction-free text editor, in the browser (Markdown and LaTeX supported).

Open Source LF2 Implementation

An action-based game engine in Direct 3D

Interactive publications lists with JavaScript + Bibtex

Convert PDF to HTML without losing text or format.

Solving programming problems with Haskell

solutions for problems/puzzles from a variety of websites in fancy languages

Course materials for Stanford CS240h, "Functional Systems in Haskell"