Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: Is there a programming language with embedded testing support?.
https://coq.inria.fr/about-coq
http://www.adacore.com/adaanswers/about/ada-comparison-chart
http://www.adacore.com/gnatpro/toolsuite/utilities/
https://github.com/lampepfl/dotty
http://www.scalatest.org/getting_started_with_feature_spec
http://etorreborre.github.io/specs2/
http://www.gebish.org/
http://spockframework.github.io/spock/docs/1.1-rc-2/introduc...
There are no comments on this comment yet.
https://coq.inria.fr/about-coq
http://www.adacore.com/adaanswers/about/ada-comparison-chart
http://www.adacore.com/gnatpro/toolsuite/utilities/
https://github.com/lampepfl/dotty
http://www.scalatest.org/getting_started_with_feature_spec
http://etorreborre.github.io/specs2/
http://www.gebish.org/
http://spockframework.github.io/spock/docs/1.1-rc-2/introduc...