gh

通过语言服务器协议提供官方Haskell集成开发环境支持

基于网页命令行的硬件渗透工具 支持全协议通信

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

Ghostty终端的精美配置生成器。

Ghostty终端的精美配置生成器。

模型火箭空气动力学与弹道仿真软件

北极风蓝黑色调简洁优雅的Vim主题

Ghost 默认主题

Gruvbox 材质调色板主题

轻小说文库安卓版第三方公益应用，始于2014年的初版Material Design风格、非盈利、Play Store上安装包最小的轻小说阅读器。目前网站的API由于被大量滥用，已更新为自行架设的Cloudflare Worker API中继节点，以避免网站关闭API导致服务完全中断。

基于网页命令行的硬件渗透工具 支持全协议通信

一个生成交互式雷达图的库，灵感来源于 https://thoughtworks.com/radar/。

AI原生搜索数据库。在单一引擎中统一向量、文本、结构化和半结构化数据，实现混合搜索与库内AI工作流。

适用于Vim和Neovim的蓝调色彩方案

基于NRF52840的新一代变色龙设备使卡片模拟性能更稳定，并赋予读卡、写卡及解密功能

用于志愿计算和网格计算的开源软件

AI 编程工作站：Claude Code + 网页界面 + 7 个 AI 命令行工具 + 无头浏览器 + 50 多种工具

基于Playwright的Claude代码技能，实现浏览器自动化。模型调用式——Claude可自主编写并执行定制化自动化脚本，用于测试与验证。

🍰 前端项目架构方法论

为 Neovim 精心打造的 🤏 HTTP 客户端 🐼 界面 🖥️

用于构建事件驱动实盘交易与回测系统的开源Rust框架

常用Playwright操作的命令行工具。录制并生成Playwright代码、检查选择器以及截取屏幕截图。

一套用于自动化软件合规性检查的工具集

vim match-up：更强大的 % 符号匹配 👊 导航并高亮匹配词汇 👊 现代化的 matchit 与 matchparen。同时支持 vim 和 neovim + tree-sitter。