A Github repository whose purpose is to be published here: http://jafingerhut.github.io
Most of it is related to the programming language Clojure.
There is also some information here about a style of software testing known by several names, including property-based testing and specification-based testing.