奔跑的小草

starter-lit-with-tailwind. A boilerplate using Vite, Lit and Tailwind CSS.

omegat. 已切换至新项目

idris2-tutorial-zh. 翻译idris2教程

link-note. 一个All in One 的个人笔记系统，通过主题和标签把笔记、TODO、番茄钟、习惯链接起来

grass-emacs. 我的 emacs 配置

phptools. 我的php的工具类库

idris2-markdown. markdown parse for idris2

grass-kit. 一个基于Tailwind CSS的UI组件库，支持多个前端框架。

idris2-pact. A type-safe Servant-like web framework

awesome-idris.

screwdriver. TypeScript

purescript-lunar-calendar. purescript生态下的农历库

bevy-tutorial. bevy 教程

rabbitmq-message-deduplication. RabbitMQ Plugin for filtering message duplicates

running-grass.github.io. 我的数字花园

awesome-productivity.

idris2-url. A URL library for idris2, Based on RFC 1738.

idris2-quickdocs. TypeScript

qianmian. 千面空间