diff --git a/README.md b/README.md
index 1dca26b..1120032 100644
--- a/README.md
+++ b/README.md
@@ -14,6 +14,18 @@ Information about AWS IoT ExpressLink and partner's hardware modules can be foun
 * [AWS IoT ExpressLink Getting Started Guide](https://docs.aws.amazon.com/iot-expresslink/latest/gettingstartedguide/elgsg.html)
 * [AWS IoT ExpressLink Onboarding-by-Claim Customer/OEM Guide](https://docs.aws.amazon.com/iot-expresslink/latest/oemonboardingguide/oemog.html)
 
+## Prototyping SDK libraries
+
+### Python, CircuitPython, MicroPython
+
+For Python, including CircuitPython, MicroPython, and standard Python on Linux, macOS, and Windows:
+https://github.com/awslabs/aws-iot-expresslink-library-python
+
+### Arduino
+
+For Arduino and all all microcontrollers that support the Arduino platform:
+https://github.com/awslabs/aws-iot-expresslink-library-arduino
+
 ## Web Resources
 
 * [AWS IoT ExpressLink product page](https://aws.amazon.com/iot-expresslink/?nc=sn&loc=1)
@@ -35,6 +47,9 @@ The user guides can be found under the folder [cloud_templates/user_guides](clou
 
 The **AWS IoT ExpressLink Demo Badge Workshop** is available at https://catalog.workshops.aws/aws-iot-expresslink-demo-badge/. This workshop ran as *IOT207-R* on November 28, and as *IOT207-R* on December 2, at AWS re:Invent 2022.
 
+The *Advanced Lab Modules* of the AWS re:Invent 2022 workshop used a Python library to quickly prototype an integration with AWS IoT ExpressLink using Python. The evolution of this early library is now available in this GitHub repository:
+[awslabs/aws-iot-expresslink-library-python](https://github.com/awslabs/aws-iot-expresslink-library-python)
+
 ## Hardware Designs
 
 The **AWS IoT ExpressLink Demo Badge hardware design**, with full schematics and PCB layout files, is available under the [hardware designs folder](./hardware-designs/).
diff --git a/libraries/arduino/README.md b/libraries/arduino/README.md
new file mode 100644
index 0000000..20bd8a0
--- /dev/null
+++ b/libraries/arduino/README.md
@@ -0,0 +1,3 @@
+The AWS IoT ExpressLink library for Arduino is available in this GitHub repository:
+
+[awslabs/aws-iot-expresslink-library-arduino](https://github.com/awslabs/aws-iot-expresslink-library-arduino)
diff --git a/libraries/python/README.md b/libraries/python/README.md
new file mode 100644
index 0000000..2493847
--- /dev/null
+++ b/libraries/python/README.md
@@ -0,0 +1,3 @@
+The AWS IoT ExpressLink library for Python, CircuitPython, and MicroPython is available in this GitHub repository:
+
+[awslabs/aws-iot-expresslink-library-python](https://github.com/awslabs/aws-iot-expresslink-library-python)