diff --git a/.circleci/config.yml b/.circleci/config.yml
index 47c6518ee35b..f34d3717cf35 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -423,7 +423,7 @@ jobs:
 
   b_osx:
     macos:
-      xcode: "10.0.0"
+      xcode: "11.0.0"
     environment:
       TERM: xterm
       CMAKE_BUILD_TYPE: Debug
@@ -445,7 +445,7 @@ jobs:
 
   t_osx_cli:
     macos:
-      xcode: "10.0.0"
+      xcode: "11.0.0"
     environment:
       TERM: xterm
     steps:
diff --git a/docs/resources.rst b/docs/resources.rst
index a3a89113aaf1..4335c3deb04b 100644
--- a/docs/resources.rst
+++ b/docs/resources.rst
@@ -127,6 +127,9 @@ Solidity Tools
 * `Universal Mutator <https://github.com/agroce/universalmutator>`_
     A tool for mutation generation, with configurable rules and support for Solidity and Vyper.
 
+* `PIET <https://piet.slock.it/>`_
+    A tool to develop, audit and use solidity smart contracts through a simple graphical interface.
+
 .. note::
   Information like variable names, comments, and source code formatting is lost in the compilation process and it is not possible to completely recover the original source code. Decompiling smart contracts to view the original source code might not be possible, or the end result that useful.