Pinned Repositories
grass-emacs
我的 emacs 配置
grass-kit
一个基于Tailwind CSS的UI组件库，支持多个前端框架。
idris2-tutorial-zh
翻译idris2教程
link-note
一个All in One 的个人笔记系统，通过主题和标签把笔记、TODO、番茄钟、习惯链接起来
nur-packages
omegat
已切换至新项目
phptools
我的php的工具类库
qianmian
千面空间
running-grass.github.io
我的数字花园
starter-lit-with-tailwind
A boilerplate using Vite, Lit and Tailwind CSS.
running-grass's Repositories
running-grass/idris2-tutorial-zh
翻译idris2教程
running-grass/link-note
一个All in One 的个人笔记系统，通过主题和标签把笔记、TODO、番茄钟、习惯链接起来
running-grass/grass-emacs
我的 emacs 配置
running-grass/idris2-pact
A type-safe Servant-like web framework
running-grass/bevy-tutorial
bevy 教程
running-grass/game-develop-book
游戏开发手册
running-grass/idris2-quickdocs
running-grass/idris2-url
A URL library for idris2, Based on RFC 1738.
running-grass/qianmian
千面空间
running-grass/running-grass.github.io
我的数字花园
running-grass/idris2-playground
idris 项目孵化场
running-grass/Idris2-zh
Idris2的镜像仓库，只做中文翻译使用
running-grass/nur-packages
running-grass/better-auth-tanstack-starter
Better Auth TanStack starter template with PostgreSQL, Drizzle, shadcn/ui and TanStack Query
running-grass/bevy_demo_2048
Game 2048 by rust-bevy
running-grass/devenv
Fast, Declarative, Reproducible, and Composable Developer Environments
running-grass/digital-garden-publisher
running-grass/files
running-grass/idris2-docs-indexer-html
running-grass/idris2-js
Idris2 compiler on js
running-grass/idris2-pack
running-grass/idris2-pack-db
running-grass/idris2-quickdocs-site
running-grass/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
running-grass/my_bevy_game
running-grass/nixpkgs
Nix Packages collection
running-grass/NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
running-grass/posthog-migrate-meta
Migrate metadata from one organization to another
running-grass/system-packages
Emacs在使用
running-grass/tetris
Classical tetris game made with bevy engine.