所有者 · jwiegley

jwiegley

jwiegley 收录中的开源项目，按星标数排序。

共 5 个项目

#1
git-scripts ↗@jwiegleyShell
我所编写、下载或从 #git 剪贴的一堆随机脚本。
★ 1,371+0近 7 天星标变化
#2
emacs-async ↗@jwiegleyEmacs Lisp
用于 Emacs 异步处理的简单库
★ 911-2近 7 天星标变化
#3
git-from-the-bottom-up ↗@jwiegleySCSS
Git 内容管理器的架构与设计简介
★ 891+0近 7 天星标变化
#4
category-theory ↗@jwiegleyRocq Prover
在 Coq 中进行个人研究与实务工作的范畴论（Category Theory）无公理形式化
★ 808+1近 7 天星标变化
#5
dot-emacs ↗@jwiegleyEmacs Lisp
我的 .emacs.el 文件与其他个人 Emacs 好物
★ 793+1近 7 天星标变化