diff --git a/README.md b/README.md
index e42832f..9468f55 100644
--- a/README.md
+++ b/README.md
@@ -75,6 +75,7 @@
 
 ### Python
 
+* [CrossHair](https://github.com/pschanely/CrossHair) - Symbolic execution tool for verifying properties of Python functions.
 * [PyExZ3](https://github.com/thomasjball/PyExZ3) - Symbolic execution of Python functions. A rewrite of the [NICE](https://code.google.com/archive/p/nice-of) project's symbolic execution tool.