plasTeX plugin to build formalization blueprints.

Lightpanda: the headless browser designed for AI and automation

A collection of formalized statements of conjectures in Lean.

Zhihu++ | 知乎++: Ad-free, low cost, AI powered zhihu android 3rd-party client. 去广告、占用低、AI大模型的新时代知乎安卓端体验

⭐️ A friendly language for building type-safe, scalable systems!

SQLite bindings for Lean

a zero-knowledge proof-carrying code platform for Lean 4

📦 An official xmake package repository

🍩 A XMake integration in Visual Studio Code

Scientific computing in Lean 4

A website to show WebGPU info

Chat with AI large language models running natively in your browser. Enjoy private, server-free, seamless AI conversations.

➿ Soothing pastel theme for Helix!

Development repository for the CodeMirror editor project

Emulate Helix keybindings inside Vim emulators

🌺 Minimalist Vim Plugin Manager

Vundle, the plug-in manager for Vim

Zed plugin for automatic time tracking and metrics generated from your programming activity.

Mac system tray app for automatic time tracking and metrics generated from your Xcode, Figma, Postman, etc. usage.

Vim plugin for automatic time tracking and metrics generated from your programming activity.

Lean documentation authoring tool

i18n library for Lean.

Translations editor for Mac, Windows and Unix

Reliable CLI MacOS Input Source Manager [MacOS上可靠切换输入法的命令行工具]

一个VSCode插件：将光标变成中英文输入状态的指示器

在 VS Code 中智能地进行中英输入法的切换

⭐ Vim for Visual Studio Code

📟 Switch your input method through terminal

A tiny command line DNS client with support for UDP, TCP, DoT, DoH, DoQ and ODoH.