Skip to content

Commit

Permalink
Moved Shi chong back into the team
Browse files Browse the repository at this point in the history
  • Loading branch information
Kevin Sun authored and Kevin Sun committed Dec 21, 2023
1 parent 2bfc3d0 commit 00fe745
Showing 1 changed file with 93 additions and 47 deletions.
140 changes: 93 additions & 47 deletions index.html
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@

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

Expand All @@ -7,23 +6,42 @@
<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="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">
<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 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">
Expand Down Expand Up @@ -98,7 +116,8 @@ <h2 class="animate__animated animate__fadeInDown">Now available for Visual Studi

</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">
<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>
Expand All @@ -124,9 +143,11 @@ <h2 class="animate__animated animate__fadeInDown">Now available for Visual Studi
<h2>Documentation</h2>
<p>Start Here</p>
</div>

<div class="row">
<a href="book/"><h3>The Harmony Online Textbook</h3></a>
<a href="book/">
<h3>The Harmony Online Textbook</h3>
</a>
<p>
A Comprehensive Introduction to Concurrent Programming
<br />
Expand All @@ -135,22 +156,30 @@ <h2>Documentation</h2>
</div>

<div class="row">
<a href="docs/install/"><h3>Installing Harmony</h3></a>
<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>
<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>
<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>
<a href="docs/changelog/">
<h3>What's New in Harmony?</h3>
</a>
<p>Changelog & Patch Notes</p>
</div>

Expand Down Expand Up @@ -195,7 +224,8 @@ <h3>HarmonyLang for VSCode</h3>
<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>
<a href="https://marketplace.visualstudio.com/items?itemName=kevinsun-dev-cornell.harmonylang"
class="btn-buy">Download</a>
</div>
</div>
</div>
Expand All @@ -218,35 +248,43 @@ <h2>Examples</h2>
<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>
<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.
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>
<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.
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/hoare.hny">Hoare Monitor</a></h4>
<h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/hoare.hny">Hoare
Monitor</a></h4>
<p class="description">
A synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) for a certain condition to become false.
A synchronization construct that allows threads to have both mutual exclusion and the ability to wait
(block) for a certain condition to become false.
</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/RW.hny">Reader/Writer Problem</a></h4>
<h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/RW.hny">Reader/Writer
Problem</a></h4>
<p class="description">
One of the most common problems in concurrency, 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
Expand All @@ -258,7 +296,8 @@ <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/co
<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/bank.hny">Banking</a></h4>
<h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/bank.hny">Banking</a>
</h4>
<p class="description">
It would make for quite a poor banking experience to allow dollars to simply go missing or be created
from thin air, however that's exactly what might happen with poorly designed concurrent programs.
Expand All @@ -268,9 +307,10 @@ <h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/co
<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/BBsema.hny">Split Binary Semaphores</a></h4>
<h4 class="title"><a href="https://github.dev/harmonylang/harmony/blob/master/code/BBsema.hny">Split
Binary Semaphores</a></h4>
<p class="description">
A technique originally discovered, but not recommended by, Tony Hoare.
A technique originally discovered, but not recommended by, Tony Hoare.
It uses a set of binary semaphores the sum of which never exceeds 1
</p>
</div>
Expand Down Expand Up @@ -303,8 +343,9 @@ <h2>About</h2>
</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
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>
Expand Down Expand Up @@ -428,14 +469,6 @@ <h4>Renyu Li</h4>
</div>
</div>
</div>
</div>
<br /><br />

<div class="section-title" data-aos="zoom-out">
<h2>Past Team Members</h2>
</div>

<div class="row">
<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">
Expand All @@ -453,7 +486,6 @@ <h4>Shi Chong Zhao</h4>
</div>
</div>
</div>

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

Expand Down Expand Up @@ -516,17 +548,31 @@ <h3>Harmony</h3>
<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>
<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>
</html>

0 comments on commit 00fe745

Please sign in to comment.