index.html

<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="utf-8">
  <meta content="width=device-width, initial-scale=1.0" name="viewport">

  <title>Harmony Programming Language</title>
  <meta content="A Python-like programming language for testing and experimenting with concurrent programs."
    name="description">
  <meta content="Harmony, HarmonyLang, Programming Language, Concurrent Programming, Cornell" name="keywords">

  <!-- Favicons -->
  <link href="assets/img/favicon.png" rel="icon">

  <!-- Google Fonts -->
  <link
    href="https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,600,600i,700,700i|Raleway:300,300i,400,400i,500,500i,600,600i,700,700i|Poppins:300,300i,400,400i,500,500i,600,600i,700,700i"
    rel="stylesheet">

  <!-- Vendor CSS Files -->
  <link rel="stylesheet"
    href="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/5.0.0-beta2/css/bootstrap.min.css"
    integrity="sha512-aqT9YD5gLuLBr6ipQAS+72o5yHKzgZbGxEh6iY8lW/r6gG14e2kBTAJb8XrxzZrMOgSmDqtLaF76T0Z6YY2IHg=="
    crossorigin="anonymous" />
  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.15.2/css/all.min.css"
    integrity="sha512-HK5fgLBL+xu6dm/Ii3z4xhlSUyZgTT9tuc/hSrtw6uzJOvgRr2a9jyxxT1ely+B+xFAmJKVSTbpM/CuL7qxO8w=="
    crossorigin="anonymous" />
  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/animate.css/4.1.1/animate.min.css"
    integrity="sha512-c42qTSw/wPZ3/5LBzD+Bw5f7bSF2oxou6wEb+I/lqeaKV5FDIfMvvRp772y4jcJLKuGUOpbJMdg/BTl50fJYAw=="
    crossorigin="anonymous" />
  <link rel="stylesheet"
    href="https://cdnjs.cloudflare.com/ajax/libs/line-awesome/1.3.0/line-awesome/css/line-awesome.min.css"
    integrity="sha512-vebUliqxrVkBy3gucMhClmyQP9On/HAWQdKDXRaAlb/FKuTbxkjPKUyqVOxAcGwFDka79eTF+YXwfke1h3/wfg=="
    crossorigin="anonymous" />
  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/venobox/1.9.2/venobox.min.css"
    integrity="sha512-e+0yqAgUQFoRrJ4pZigQXpOE0S7J9IGwmgH801h4H5ODqOCG8/GRfXHQ+9ab754NL79O7wDwdjwY3CcU8sEANg=="
    crossorigin="anonymous" />
  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/OwlCarousel2/2.3.4/assets/owl.carousel.min.css"
    integrity="sha512-tS3S5qG0BlhnQROyJXvNjeEM4UpMXHrQfTGmbQ1gKmelCxlSEBUaxhRBj/EFTzpbP4RVSrpEikbmdJobCvhE3g=="
    crossorigin="anonymous" />
  <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/aos/2.3.4/aos.css"
    integrity="sha512-1cK78a1o+ht2JcaW6g8OXYwqpev9+6GqOkz9xmBN9iUUhIndKtxwILGWYOSibOKjLsEdjyjZvYDq/cZwNeak0w=="
    crossorigin="anonymous" />
  <link href="https://cdn.jsdelivr.net/npm/remixicon@2.5.0/fonts/remixicon.css" rel="stylesheet">
  <link href='https://unpkg.com/boxicons@2.0.7/css/boxicons.min.css' rel='stylesheet'>
  <link href="assets/vendor/icofont/icofont.min.css" rel="stylesheet">
  <link href="assets/css/style.css" rel="stylesheet">
</head>

<body>

  <!-- ======= Header ======= -->
  <header id="header" class="fixed-top d-flex align-items-center  header-transparent ">
    <div class="container d-flex align-items-center justify-content-between">

      <div class="logo">
        <h1 class="text-light">
          <img src="assets/img/favicon.png" style="margin-bottom: 4px;" alt="" class="img-fluid">
          <a href="index.html">Harmony</a>
        </h1>
      </div>

      <nav class="nav-menu d-none d-lg-block">
        <ul>
          <li class="active"><a href="index.html">Home</a></li>
          <li><a href="#documentation">Documentation</a></li>
          <li><a href="#downloads">Downloads</a></li>
          <li><a href="#examples">Examples</a></li>
          <li><a href="#about">About</a></li>
          <li><a href="#contact">Contact</a></li>

        </ul>
      </nav><!-- .nav-menu -->

    </div>
  </header>
  <!-- End Header -->

  <!-- ======= Hero Section ======= -->
  <section id="hero" class="d-flex flex-column justify-content-end align-items-center">
    <div id="heroCarousel" data-bs-interval="5000" class="container carousel carousel-fade" data-bs-ride="carousel">

      <div class="carousel-item active">
        <div class="carousel-container">
          <h2 class="animate__animated animate__fadeInDown">Say hello to <span>Harmony</span>!</h2>
          <p class="animate__animated fanimate__adeInUp">
            A Python-like programming language for testing and experimenting with concurrent programs.
            Instead of "running" code, Harmony programs are model-checked so that all corner cases are explored.
          </p>
          <a href="#documentation" class="btn-get-started animate__animated animate__fadeInUp scrollto">Learn more</a>
        </div>
      </div>

      <!--
      <div class="carousel-item">
        <div class="carousel-container">
          <h2 class="animate__animated animate__fadeInDown">Now available for Visual Studio Code!</h2>
          <p class="animate__animated animate__fadeInUp">
            Our extension for VS Code, HarmonyLang, is now available! It provides fully featured syntax highlighting,
            an .
          </p>
          <a href="#about" class="btn-get-started animate__animated animate__fadeInUp scrollto">Add to VS Code!</a>
        </div>
      </div>

      <a class="carousel-control-prev" href="#heroCarousel" role="button" data-bs-slide="prev">
        <span class="carousel-control-prev-icon bx bx-chevron-left" aria-hidden="true"></span>
        <span class="sr-only">Previous</span>
      </a>

      <a class="carousel-control-next" href="#heroCarousel" role="button" data-bs-slide="next">
        <span class="carousel-control-next-icon bx bx-chevron-right" aria-hidden="true"></span>
        <span class="sr-only">Next</span>
      </a> -->

    </div>

    <svg class="hero-waves" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"
      viewBox="0 24 150 28 " preserveAspectRatio="none">
      <defs>
        <path id="wave-path" d="M-160 44c30 0 58-18 88-18s 58 18 88 18 58-18 88-18 58 18 88 18 v44h-352z">
      </defs>
      <g class="wave1">
        <use xlink:href="#wave-path" x="50" y="3" fill="rgba(255,255,255, .1)">
      </g>
      <g class="wave2">
        <use xlink:href="#wave-path" x="50" y="0" fill="rgba(255,255,255, .2)">
      </g>
      <g class="wave3">
        <use xlink:href="#wave-path" x="50" y="9" fill="#fff">
      </g>
    </svg>

  </section>
  <!-- End Hero -->

  <!-- ======= Documentation Section ======= -->
  <section id="documentation" class="docs">
    <div class="container">

      <div class="section-title" data-aos="zoom-out">
        <h2>Documentation</h2>
        <p>Start Here</p>
      </div>

      <div class="row">
        <a href="book/">
          <h3>The Harmony Online Textbook</h3>
        </a>
        <p>
          A Comprehensive Introduction to Concurrent Programming
          <br />
          Download the <a href="book.pdf">PDF Version</a>
        </p>
      </div>

      <div class="row">
        <a href="docs/install/">
          <h3>Installing Harmony</h3>
        </a>
        <p>A Quick Start Guide</p>
      </div>

      <div class="row">
        <a href="book/#sec-235">
          <h3>Language Reference</h3>
        </a>
        <p>Language features and syntax</p>
      </div>

      <div class="row">
        <a href="book/#sec-286">
          <h3>Library Reference</h3>
        </a>
        <p>Built in modules and libraries</p>
      </div>

      <div class="row">
        <a href="docs/changelog/">
          <h3>What's New in Harmony?</h3>
        </a>
        <p>Changelog & Patch Notes</p>
      </div>

    </div>
  </section>

  <main id="main">

    <!-- ======= Downloads Section ======= -->
    <section id="downloads" class="downloads">
      <div class="container">

        <div class="section-title" data-aos="zoom-out">
          <h2>Downloads</h2>
          <p>Requires Python 3.6+</p>
        </div>

        <div class="row justify-content-center">

          <div class="col-lg-3 col-md-6 mt-4 mt-md-0">
            <div class="box featured" data-aos="zoom-in">
              <h3>
                Harmony Compiler
                <br />
                <i style="font-weight: 400; font-size: 10pt;">
                  Use this installation for command line usage.
                </i>
              </h3>
              <ul>
                <li>Advanced standalone model checking</li>
                <li>State machine output</li>
                <li>HTML output</li>
                <li>Available on pip</li>
              </ul>
              <div class="btn-wrap">
                <a href="docs/install/" class="btn-buy">Install</a>
              </div>
            </div>
          </div>

          <div class="col-lg-3 col-md-6">
            <div class="box featured" data-aos="zoom-in" data-aos-delay="100">
              <h3>
                HarmonyLang for VSCode
                <br />
                <i style="font-weight: 400; font-size: 10pt;">
                  Use this installation if you want to use Harmony using VSCode.
                </i>
              </h3>
              <ul>
                <li>Syntax Highlighting</li>
                <li>Intelligent Code Completion</li>
                <li>In-editor Visualizer</li>
                <li>Automatic Compiler Installation</li>
              </ul>
              <div class="btn-wrap">
                <a href="https://marketplace.visualstudio.com/items?itemName=kevinsun-dev-cornell.harmonylang"
                  class="btn-buy">Download</a>
              </div>
            </div>
          </div>

        </div>

      </div>
    </section><!-- End Downloads Section -->

    <!-- ======= Examples Section ======= -->
    <section id="examples" class="examples">
      <div class="container">

        <div class="section-title" data-aos="zoom-out">
          <h2>Examples</h2>
          <p>Try out Harmony</p>
        </div>

        <div class="row">
          <div class="col-lg-4 col-md-6">
            <div class="icon-box" data-aos="zoom-in-left">
              <div class="icon"><i class="fas fa-glass-cheers" style="color: #ff689b;"></i></div>
              <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/Diners.hny">Dining
                  Philosophers</a></h4>
              <p class="description">
                Formulated in 1965 by Edsger Dijkstra as a student exam exercise, presented in terms of computers
                competing for access to tape drive peripherals.
              </p>
            </div>
          </div>
          <div class="col-lg-4 col-md-6 mt-5 mt-md-0">
            <div class="icon-box" data-aos="zoom-in-left" data-aos-delay="100">
              <div class="icon"><i class="las la-book" style="color: #e9bf06;"></i></div>
              <h4 class="title"><a
                  href="https://github.dev/harmonylang/harmony/blob/master/code/Peterson.hny">Peterson's Algorithm</a>
              </h4>
              <p class="description">
                An algorithm for mutual exclusion that allows two or more processes to share a single-use resource
                without conflict, using only shared memory for communication.
              </p>
            </div>
          </div>

          <div class="col-lg-4 col-md-6 mt-5 mt-lg-0 ">
            <div class="icon-box" data-aos="zoom-in-left" data-aos-delay="200">
              <div class="icon"><i class="las la-file-alt" style="color: #3fcdc7;"></i></div>
              <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/boundedbuffer_hoare.hny">Bounded Buffer</a></h4>
              <p class="description">
                A solution to the producer/consumer problem using
				a Hoare monitor.
              </p>
            </div>
          </div>
          <div class="col-lg-4 col-md-6 mt-5">
            <div class="icon-box" data-aos="zoom-in-left" data-aos-delay="300">
              <div class="icon"><i class="las la-tachometer-alt" style="color:#41cf2e;"></i></div>
              <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/rwlock_cv.hny">Reader/Writer
                  Problem</a></h4>
              <p class="description">
                We want to prevent more than one thread modifying the shared resource simultaneously and allow for two or more readers to access the shared resource
                for reading at the same time.
              </p>
            </div>
          </div>

          <div class="col-lg-4 col-md-6 mt-5">
            <div class="icon-box" data-aos="zoom-in-left" data-aos-delay="400">
              <div class="icon"><i class="las la-globe-americas" style="color: #d6ff22;"></i></div>
              <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/queue_MS.hny">2-Lock Concurrent Queue</a>
              </h4>
              <p class="description">
			  	This queue implementation uses separate locks for the head and the tail.
              </p>
            </div>
          </div>
          <div class="col-lg-4 col-md-6 mt-5">
            <div class="icon-box" data-aos="zoom-in-left" data-aos-delay="500">
              <div class="icon"><i class="las la-clock" style="color: #4680ff;"></i></div>
              <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/paxos.hny">Paxos</a></h4>
              <p class="description">
			  	A way for multiple distributed processes to come to agreement, even
				in the face of failures.
              </p>
            </div>
          </div>
        </div>

      </div>
    </section><!-- End Examples Section -->

    <!-- ======= About Section ======= -->
    <section id="about" class="about">
      <div class="container">

        <div class="section-title" data-aos="zoom-out">
          <h2>About</h2>
          <p>What is Harmony?</p>
        </div>

        <div class="row content" data-aos="fade-up">
          <div class="col-lg-6">
            <p>
              Concurrent programming is hard to get right. A deadlock might occur only once in a million executions,
              caused by the most esoteric of circumstances. Harmony makes finding those bugs easy.
            </p>
            <ul>
              <li><i class="ri-check-double-line"></i> Checks every possible interleaving of processes</li>
              <li><i class="ri-check-double-line"></i> Detects non-compilance with invariants</li>
              <li><i class="ri-check-double-line"></i> Provides the shortest path to a failing execution</li>
            </ul>
          </div>
          <div class="col-lg-6 pt-4 pt-lg-0">
            <p>
              Learning programming in Harmony should be straightforward to those familiar with Python or similar
              languages.
              In addition to our online documentation, we provide a textbook in PDF form with many programming examples
              including Peterson's Algorithm, reader/writer locks, and split binary semaphores.
            </p>
            <a href="/book" class="btn-learn-more">Read more</a>
          </div>
        </div>
      </div>
    </section><!-- End About Section -->

    <!-- ======= Team Section ======= -->
    <section id="team" class="team">
      <div class="container">

        <div class="section-title" data-aos="zoom-out">
          <h2>Team</h2>
          <p>Our Primary Contributors</p>
        </div>

        <div class="row">
          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up">
              <div class="member-img">
                <img src="assets/img/team/team-1.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="https://www.cs.cornell.edu/home/rvr/"><i class="icofont-computer"></i></a>
                  <a href="https://twitter.com/rvanren"><i class="icofont-twitter"></i></a>
                  <a href="https://www.linkedin.com/in/rvanren/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/rvanren"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>Robbert van Renesse</h4>
                <span>Creator and Advisor to the Harmony Project</span>
              </div>
            </div>
          </div>

          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up" data-aos-delay="200">
              <div class="member-img">
                <img src="assets/img/team/team-2.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="https://www.facebook.com/anthonyyang4114"><i class="icofont-facebook"></i></a>
                  <a href="https://twitter.com/ayang4114"><i class="icofont-twitter"></i></a>
                  <a href="https://www.linkedin.com/in/ayang4114/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/anthonyyangdev"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>Anthony Yang</h4>
                <span>Compilers & Data Output</span>
              </div>
            </div>
          </div>

          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up" data-aos-delay="100">
              <div class="member-img">
                <img src="assets/img/team/team-5.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="https://www.instagram.com/whoiswillma"><i class="icofont-instagram"></i></a>
                  <a href="https://twitter.com/whoiswillma"><i class="icofont-twitter"></i></a>
                  <a href="https://www.linkedin.com/in/william-ma-156ba4137/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/whoiswillma"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>William Ma</h4>
                <span>Compilers & Visualization</span>
              </div>
            </div>
          </div>

          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up" data-aos-delay="100">
              <div class="member-img">
                <img src="assets/img/team/team-3.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="https://kevinsun.dev/"><i class="icofont-computer"></i></a>
                  <a href="https://twitter.com/kevinsun_dev"><i class="icofont-twitter"></i></a>
                  <a href="https://www.linkedin.com/in/kevinsun-dev/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/kevinsun-dev"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>Kevin Sun</h4>
                <span>Design & Documentation</span>
              </div>
            </div>
          </div>

          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up" data-aos-delay="100">
              <div class="member-img">
                <img src="assets/img/team/team-7.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="https://haobin.cx"><i class="icofont-computer"></i></a>
                  <a href="https://www.linkedin.com/in/haobin-ni-486b037b/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/FTRobbin"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>Haobin Ni</h4>
                <span>Design</span>
              </div>
            </div>
          </div>

          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up" data-aos-delay="100">
              <div class="member-img">
                <img src="assets/img/team/team-6.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="http://lirenyu.com/"><i class="icofont-computer"></i></a>
                  <a href="https://www.linkedin.com/in/renyu-li-68b79821b/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/rl626"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>Renyu Li</h4>
                <span>Graphical User Interface</span>
              </div>
            </div>
          </div>
          <div class="col-lg-3 col-md-6 d-flex align-items-stretch">
            <div class="member" data-aos="fade-up" data-aos-delay="100">
              <div class="member-img">
                <img src="assets/img/team/team-4.webp" class="img-fluid" alt="">
                <div class="social">
                  <a href="https://www.facebook.com/shichong97/"><i class="icofont-facebook"></i></a>
                  <a href="https://twitter.com/shichong97"><i class="icofont-twitter"></i></a>
                  <a href="https://www.linkedin.com/in/shichong97/"><i class="icofont-linkedin"></i></a>
                  <a href="https://github.com/shichong-97"><i class="icofont-github"></i></a>
                </div>
              </div>
              <div class="member-info">
                <h4>Shi Chong Zhao</h4>
              </div>
            </div>
          </div>
        </div>
      </div>
    </section><!-- End Team Section -->

    <!-- ======= Contact Section ======= -->
    <section id="contact" class="contact">
      <div class="container">

        <div class="section-title" data-aos="zoom-out">
          <h2>Contact</h2>
          <p>Contact Us</p>
        </div>

        <div class="row mt-5 mb-5">

          <div class="col-lg-4" data-aos="fade-right">
            <div class="info">
              <div class="address">
                <i class="icofont-google-map"></i>
                <h4>Location:</h4>
                <p>433 Gates Hall, Ithaca, NY 14853</p>
              </div>

              <div class="email">
                <i class="icofont-envelope"></i>
                <h4>Email:</h4>
                <p>rvr@cs.cornell.edu</p>
              </div>

              <div class="phone">
                <i class="icofont-phone"></i>
                <h4>Call:</h4>
                <p>+1 (607) 255-1021</p>
              </div>
            </div>
          </div>
        </div>
      </div>
    </section><!-- End Contact Section -->

  </main><!-- End #main -->

  <!-- ======= Footer ======= -->
  <footer id="footer">
    <div class="container">
      <h3>Harmony</h3>
      <p>Better Concurrent Programming</p>
      <div class="copyright">
        &copy; Copyright <strong><span>Harmony</span></strong>. All Rights Reserved
      </div>
      <div class="credits">
        <!-- All the links in the footer should remain intact. -->
        <!-- You can delete the links only if you purchased the pro version. -->
        <!-- Licensing information: https://bootstrapmade.com/license/ -->
        <!-- Purchase the pro version with working PHP/AJAX contact form: https://bootstrapmade.com/selecao-bootstrap-template/ -->
        Designed by <a href="https://bootstrapmade.com/">BootstrapMade</a>
      </div>
    </div>
  </footer><!-- End Footer -->

  <a href="#" class="back-to-top"><i class="ri-arrow-up-line"></i></a>

  <!-- Vendor JS Files -->
  <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.5.1/jquery.min.js"
    integrity="sha512-bLT0Qm9VnAYZDflyKcBaQ2gg0hSYNQrJ8RilYldYQ1FxQYoCLtUjuuRuZo+fjqhx/qtq/1itJ0C2ejDxltZVFg=="
    crossorigin="anonymous"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/5.0.0-beta2/js/bootstrap.bundle.min.js"
    integrity="sha512-43iShtbiyImxjjU4a9rhXBy7eKtIsrpll8xKhe1ghKqh5NyfME8phZs5JRFZpRBe1si44WM3tNmnqMym7JRmDQ=="
    crossorigin="anonymous"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-easing/1.4.1/jquery.easing.min.js"
    integrity="sha512-0QbL0ph8Tc8g5bLhfVzSqxe9GERORsKhIn1IrpxDAgUsbBGz/V7iSav2zzW325XGd1OMLdL4UiqRJj702IeqnQ=="
    crossorigin="anonymous"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery.isotope/3.0.6/isotope.pkgd.min.js"
    integrity="sha512-Zq2BOxyhvnRFXu0+WE6ojpZLOU2jdnqbrM1hmVdGzyeCa1DgM3X5Q4A/Is9xA1IkbUeDd7755dNNI/PzSf2Pew=="
    crossorigin="anonymous"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/venobox/1.9.2/venobox.min.js"
    integrity="sha512-RTKtgpCMMgKKvDrJsyt5wdzR2IjHJiz/b2rsyBgm8qNeB3KPNdCvWkh9ytMcdAwu9qq8OX2fvy5wTyyA8sqXZw=="
    crossorigin="anonymous"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/OwlCarousel2/2.3.4/owl.carousel.min.js"
    integrity="sha512-bPs7Ae6pVvhOSiIcyUClR7/q2OAsRiovw4vAkX+zJbw3ShAeeqezq50RIIcIURq7Oa20rW2n2q+fyXBNcU9lrw=="
    crossorigin="anonymous"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/aos/2.3.4/aos.js"
    integrity="sha512-A7AYk1fGKX6S2SsHywmPkrnzTZHrgiVT7GcQkLGDe2ev0aWb8zejytzS8wjo7PGEXKqJOrjQ4oORtnimIRZBtw=="
    crossorigin="anonymous"></script>

  <!-- Template Main JS File -->
  <script src="assets/js/main.js"></script>

</body>

</html>