Lists (6)
Stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
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
Generate an image of all your Github contributions
Red Protocol Adapter for Koishi
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.
An innovative superfamily of fonts for code
多平台模型接入，可扩展，多种输出格式，提供大语言模型聊天服务的插件 | A bot plugin for LLM chat with multi-model integration, extensibility, and various output formats
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
Turn a path string such as `/user/:name` into a regular expression
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.