CJex

regulex. :construction: Regular Expression Excited!

PlainSite. PlainSite：A Truely Hackable Static Site Generator.

ShunEncode. 🐶巷议，通过简单混淆来规避敏感词程序的审查

ydiff. a structural comparison tool for Lisp

anthology. Jex's Code Anthology

cjex.github.io. Jex is dead

PLPapers. Programming Language Papers Bookmarks

hol-light. HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light