diff --git a/README.md b/README.md
index 955e9f1..4e6b01a 100644
--- a/README.md
+++ b/README.md
@@ -21,6 +21,7 @@
 - [Lua](#lua)
 - [PHP](#php)
 - [Python](#python)
+- [Quint](#quint)
 - [Ruby](#ruby)
 - [Rust](#rust)
 - [Shell](#shell)
@@ -851,6 +852,15 @@ Alan de Freitas](https://github.com/alandefreitas)
   ![Stars](https://img.shields.io/github/stars/gabrielfalcao/sure?style=flat-square)
  [![license](https://img.shields.io/github/license/gabrielfalcao/sure.svg)](/LICENSE)
 
+<a name="quint"></a>
+
+### Quint
+
+- **[Quint](https://github.com/informalsystems/quint)** by [bugarela](https://github.com/bugarela)  
+  A modern and executable specification language  
+  ![Stars](https://img.shields.io/github/stars/informalsystems/quint?style=flat-square)
+ [![license](https://img.shields.io/github/license/informalsystems/quint.svg)](/LICENSE)
+
 <a name="Ruby"></a>
 
 ### Ruby