A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

Inherit mutli-levels default values

Free, simple, and intuitive online database diagram editor and SQL generator.

coredumpy saves your crash site for post-mortem debugging

Eliminates layout thrashing by batching DOM measurement and mutation tasks

OS X Lion style cross-browser native scrolling on the web that gets out of the way.

Tiny visualization library for rendering tree structure in Treemap, Sunburst, Flame.

Standards first web framework taking HTML, CSS, JS, and WASM to their absolute peak

Browser-based ePub reader

MoonBit Sublime Text syntax highlighting

Drafts your next release notes as pull requests are merged into master.

🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/

A Language Server Protocol (LSP) for beancount files

Command line utility to extract clean html, markdown and metadata from web pages.

A TypeScript framework for building MCP servers.

A single-threaded implementation of interaction nets as a lisp-like language.

An implementation of interaction nets as a lisp-like language.

🌊 Simple, event-driven and stream oriented workflow for TypeScript

A simple dashboard for nezha.

Incremental parsing of streaming JSON data.

MCP server helping models to understand your Vite/Nuxt app better.

Mirror site and crawler for linovel.

Staging repo for development of native port of TypeScript

👇Bread n butter utility for component-tied mouse/touch gestures in React and Vanilla Javascript.

Arguably the most comprehensive library for stringifying any JavaScript value into a human-readable format, handling nearly every scenario you might encounter.

学园偶像大师(学園アイドルマスター) AssetBundle 文件解密工具 Gakuen idolmaster AssetBundle File Decryption Tool

A modified HoshimiToolkit for gkmas.

gkms meta dec

FlowGram is a node-based flow building engine that helps developers quickly create workflows in either fixed layout or free connection layout modes