If you're coming to the Property-Based TDD As If You Meant It Workshop, you will need to bring a laptop with your favourite programming environment, a property-based testing library and, depending on the language, a test framework to run the property-based-tests.

Any other languages or suggestions? Comment below.

.NET (C#, F#, VB)

 * [FsCheck](http://fscheck.codeplex.com/)

Python:

 * [Factcheck](https://github.com/npryce/python-factcheck) -- requires a test framework (I like [pytest](http://pytest.org)), I wrote it (benefits - you can ask me about it, drawbacks - it's not very mature).  Can be [installed from PyPI](https://pypi.python.org/pypi/factcheck) with Pip or easy_install.
 * [Hypothesis](https://github.com/DRMacIver/hypothesis) -- requires a test framework, provides decorators for easy integration
 * [pytest-quickcheck](http://pypi.python.org/pypi/pytest-quickcheck/) - requires pytest, I found it hard to extend, and so wrote Factcheck

Ruby:
 * [Rantly](https://github.com/hayeah/rantly)

Scala:
 * [ScalaCheck](https://github.com/rickynils/scalacheck) 

Clojure:

 * [ClojureCheck](https://bitbucket.org/kotarak/clojurecheck) -- requires clojure.test

Haskell:

* [Quickcheck] (http://book.realworldhaskell.org/read/testing-and-quality-assurance.html)

Java:
 * [JavaQuickCheck](http://java.net/projects/quickcheck/pages/Home) -- requires JUnit or some other testing framework

PHP:
* [PHP Quick check] (https://github.com/steos/php-quickcheck)

Groovy:
 * [Gruesome](https://github.com/mcandre/gruesome) -- a quick and dirty implementation for Groovy

JavaScript:

 * [QC.js](https://bitbucket.org/darrint/qc.js/)
 
Golang:

* [Quick] (https://golang.org/pkg/testing/quick/) (Blog post: http://blog.matttproud.com/2015/06/testingquick-blackbox-testing-in-go-for.html)