Owner · jwiegley

jwiegley

jwiegley's tracked open-source repos, sorted by stars.

5 repos

#1
git-scripts ↗@jwiegleyShell
A bunch of random scripts I've either written, downloaded or clipped from #git.
★ 1,371+0Star change over the last 7 days
#2
emacs-async ↗@jwiegleyEmacs Lisp
Simple library for asynchronous processing in Emacs
★ 912+0Star change over the last 7 days
#3
git-from-the-bottom-up ↗@jwiegleySCSS
An introduction to the architecture and design of the Git content manager
★ 891+0Star change over the last 7 days
#4
category-theory ↗@jwiegleyRocq Prover
An axiom-free formalization of category theory in Coq for personal study and practical work
★ 808+1Star change over the last 7 days
#5
dot-emacs ↗@jwiegleyEmacs Lisp
My .emacs.el file and other personal Emacs goodies
★ 793+1Star change over the last 7 days