宇文天穹 UoqMunThenKhung

A programming language in Turkish where grammatical case and mood are part of the type system.

TeX-to-MathML conversion library in JavaScript

Я - extremely composable embeddable programming language

📝 The Lecture Notes

📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers

Taigi (Taiwanese Hokkien) translation of SICP PDF with Texinfo and LaTeX source

A new version of combination of Chinese Chess and Classic Chess where we stack pieces.

🌎📡 TypeScript Astrodynamics Software for Non-Engineers. 3D Visualization of satellite data and the sensors that track them.

The math library of Lean 4

Online browser-based RTS game

A dashboard that shows the current status of submarine cables that connected Taiwan to the world

A List of Foundational Haskell Papers

Javascript Canvas Library, SVG-to-Canvas (& canvas-to-SVG) Parser

JavaScript animation engine

A JS-independent, tree-shakeable CSS framework for building faithful recreations of the Windows 7 UI.

A purely functional programming language with first class types

History of type theory (Chinese).

Virtual whiteboard for sketching hand-drawn like diagrams

A project to map out the relations between different equational theories of Magmas.

Paper and talk

A cloud-based, open-source system for writing and publishing dictionaries.

An open-source terminology management tool

A new rime table specially designed for the Qieyun phonology system

Taiwanese Hokkien Transliterator and Tokeniser

Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future growth.

justfont collaborates with calligrapher Daphne to release Elffont (精靈文), a unique typeface blending Bopomofo phonetic symbols with a mystical "Elvish" style.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A simple web-based tool for Spriting and Pixel art.