A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Koishi VTuberized Logo

The Arend Proof Assistant

A complete solution to package and build a ready for distribution Electron app with “auto update” support out of the box

🏋️ Find out the cost of adding a new frontend dependency to your project

📦 Zero-config package bundler for Node.js + TypeScript

⚡️ TypeScript Execute | The easiest way to run TypeScript in Node.js

Run compilers interactively from your web browser and interact with the assembly

Build production-ready applications in TypeScript

Koka language compiler and interpreter

Generate an image of all your Github contributions

Red Protocol Adapter for Koishi

Node.js JavaScript runtime ✨🐢🚀✨

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

Tencent SILK codec for Node.js and browser

An innovative superfamily of fonts for code

多平台模型接入，可扩展，多种输出格式，提供大语言模型聊天服务的插件 | A bot plugin for LLM chat with multi-model integration, extensibility, and various output formats

Satori 协议 .NET SDK

NoneBot2 Satori 适配器 / Satori Protocol adapter for nonebot2

A very compact representation of a placeholder for an image.

💖 Toolkit for generating sponsors images 😄

Meta-Framework of Spatiotemporal Composability

Graia 社区文档

Turn a path string such as `/user/:name` into a regular expression

Dev environments. In your web app.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

The Elegant Parser

The Universal Messenger Protocol

History of type theory (Chinese).