Initial commit.

.github/workflows/jekyll.yml

@@ -0,0 +1,64 @@
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+
+# Sample workflow for building and deploying a Jekyll site to GitHub Pages
+name: Deploy Jekyll site to Pages
+
+on:
+  # Runs on pushes targeting the default branch
+  push:
+    branches: ["master"]
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
+# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
+jobs:
+  # Build job
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Setup Ruby
+        uses: ruby/setup-ruby@55283cc23133118229fd3f97f9336ee23a179fcf # v1.146.0
+        with:
+          ruby-version: '3.1' # Not needed with a .ruby-version file
+          bundler-cache: true # runs 'bundle install' and caches installed gems automatically
+          cache-version: 0 # Increment this number if you need to re-download cached gems
+      - name: Setup Pages
+        id: pages
+        uses: actions/configure-pages@v3
+      - name: Build with Jekyll
+        # Outputs to the './_site' directory by default
+        run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}"
+        env:
+          JEKYLL_ENV: production
+      - name: Upload artifact
+        # Automatically uploads an artifact from the './_site' directory by default
+        uses: actions/upload-pages-artifact@v2
+
+  # Deployment job
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2

.gitignore

@@ -0,0 +1,13 @@
+_site/
+.sass-cache/
+.jekyll-cache/
+.jekyll-metadata
+Gemfile.lock
+
+# for macOS (qsu1)
+.DS_Store
+.AppleDouble
+.LSOverride
+
+.idea/
+.ruby-version

Gemfile

@@ -0,0 +1,11 @@
+source 'https://rubygems.org'
+group :jekyll_plugins do
+    gem 'github-pages'
+    gem 'jekyll'
+    gem 'jekyll-email-protect'
+    gem 'jekyll-paginate'
+    gem 'jemoji'
+    gem 'unicode_utils'
+end
+
+gem "webrick", "~> 1.8"

LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2018 SAILING lab
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

README.md

@@ -0,0 +1,6 @@
+## Website for Principles of Programming Group at CMU
+
+To build the website locally:
+- [Install Jekyll](https://jekyllrb.com/docs/installation/).
+- Run `bundle install` in root of this repository.
+- Run `bundle exec jekyll serve` to host website on `localhost:4000/pop`.

_config.yml

@@ -0,0 +1,86 @@
+# -----------------------------------------------------------------------------
+# Site settings
+# -----------------------------------------------------------------------------
+author: Principles of Programming Group
+name: PoP CMU
+title: Principles of Programming Group at CMU
+email: pop-group@cs.cmu.edu
+maintainer: Feras Saad
+description: Principles of Programming Group at Carnegie Mellon Univeristy
+footer_text:
+
+url: https://probsys.github.io/  # the base hostname & protocol for your site
+baseurl: /pop  # the subpath of your site, e.g. /blog/
+
+# -----------------------------------------------------------------------------
+# Social integration
+# -----------------------------------------------------------------------------
+github_username:
+google_analytics:
+youtube_channel:
+rss:  # notes rss
+
+# -----------------------------------------------------------------------------
+# Blog
+# -----------------------------------------------------------------------------
+blog_name: Course Notes
+blog_description: The notes written by students and edited by instructors
+
+# Pagination
+paginate: 10
+permalink: /notes/:title/
+paginate_path: /notes/page:num/
+
+text:
+  pagination:
+    newer: 'Newer'
+    older: 'Older'
+
+# Comments
+disqus_shortname: # put your disqus shortname
+
+# Optional features
+show_social_icons:  true
+enable_anchorjs:    true
+enable_latexjs:     true
+enable_katex:       true
+
+# -----------------------------------------------------------------------------
+# Collections
+# -----------------------------------------------------------------------------
+collections:
+  announcements:
+    defaults:
+      layout: post
+    output: true
+    permalink: /announcements/:path/
+
+announcements_limit: 5
+
+# -----------------------------------------------------------------------------
+# Jekyll settings
+# -----------------------------------------------------------------------------
+
+# Build settings
+markdown: kramdown
+highlighter: rouge
+
+# Includes & excludes
+include: ['_pages']
+exclude: [vendor]
+
+# Plug-ins
+plugins:
+    - jekyll-email-protect
+    - jekyll-paginate
+    - jemoji
+
+# -----------------------------------------------------------------------------
+# Other settings
+# -----------------------------------------------------------------------------
+jquery_version: "1.12.4"
+katex_version: "0.10.1"
+anchorjs_version: "3.2.2"
+latexjs_version: "0.11.1"
+
+theme: jekyll-theme-slate

_data/courses.yml

@@ -0,0 +1,58 @@
+- number: 15-122
+  name: Principles of Imperative Computation
+  instructor: Dilsun Kaynar; Iliano Cervesato
+
+- number: 15-150
+  name: Principles of Functional Programming
+  instructor: Stephen Brookes
+
+- number: 15-210
+  name: Parallel and Sequential Data Structures and Algorithms
+  instructor: Guy Blelloch; Charlie Garrod
+
+- number: 15-312
+  name: Foundations of Programming Languages
+  instructor: Bob Harper
+
+- number: 15-317
+  name: Constructive Logic
+  instructor: Karl Crary
+
+- number: 15-316
+  name: Software Foundations of Security and Privacy
+  instructor: Matt Fredrikson
+
+- number: 15-330
+  name: Introduction to Computer Security
+  instructor: Bryan Parno
+
+- number: 15-424
+  name: Logical Foundations of Cyber-Physical Systems
+  instructor: Stefan Mitsch
+- number: 15-814
+  name: Types and Programming Languages
+  instructor: Jan Hoffman
+
+- number: 15-816
+  name: 'Advanced Topics in Logic: Automated Reasoning and Satisfiability'
+  instructor: Marijn Heule
+
+- number: 15-836
+  name: Substructural Logics
+  instructor: Frank Pfenning
+
+- number: 15-898
+  name: Quantum Computing Systems
+  instructor: Umut Acar
+
+- number: 17-363
+  name: Programming Language Pragmatics
+  instructor: Jonathan Aldrich; Benjamin Titzer
+
+- number: 80-411
+  name: Proof Theory
+  instructor: Jeremey Avigad
+
+- number: 80-715
+  name: Seminar on Homotopy Type Theory
+  instructor: Steve Awodey