jlumbroso

# Code licensed LGPLv3 by Jérémie Lumbroso <lumbroso@cs.princeton.edu>

import difflib
import itertools
import textwrap
import typing


def side_by_side(
    left: typing.List[str],

jlumbroso

#!/bin/bash

###################################################################################
# Automatic gh-pages site updater
#
# Author:  Jérémie Lumbroso <lumbroso@seas.upenn.edu>
# Date:    February 13, 2024
#
# This script automates updating a GitHub Pages site hosted on the gh-pages branch 
# of a repository. It takes a local folder containing the static site content and 

jlumbroso

#!/usr/bin/env python3
"""
combine_for_model.py

Author: Jérémie Lumbroso <lumbroso@seas.upenn.edu>
Date: July 25, 2023
Version: 1.0

Description:

jlumbroso

#!/usr/bin/env python3
"""
decrypt_all_pdfs.py

Author: Jérémie Lumbroso <lumbroso@seas.upenn.edu>
Date: November 3, 2023

Description:
This script recursively finds all PDF files within a specified directory path,
checks if they are encrypted (without a password), and attempts to decrypt them

jlumbroso

import re

_LATEX_POST_ENTITY = "{}"

# Mapping of Unicode characters to LaTeX expressions
MAPPING = {
    "∀": "\\forall",
    "∃": "\\exists",
    "→": "\\rightarrow",
    "↔": "\\leftrightarrow",

jlumbroso

import genanki

my_model = genanki.Model(
  1380120064,
  'Example',
  fields=[
    {'name': 'Object'},
    {'name': 'Image'},
  ],
  templates=[

jlumbroso

import genanki

my_model = genanki.Model(
  1380120064,
  'Example',
  fields=[
    {'name': 'Object'},
    {'name': 'Image'},
  ],
  templates=[

jlumbroso

import re
import codepost

# ================================================================
# VARIABLE PARAMETERS
# get the API key here: https://codepost.io/settings
API_KEY = "... see above where to get this ..."
COURSE_NAME = "COS126"
COURSE_TERM = "S2023"
ASSIGNMENT = "Atomic"

jlumbroso

import codepost

# fancy progress bar if available
try:
    from tqdm import tqdm
except ModuleNotFoundError:
    # dummy replacement that does nothing
    tqdm = lambda x: x

# variable parameters

jlumbroso

import codepost

# variable parameters
# get the API key here: https://codepost.io/settings
API_KEY = "... see above where to get this ..."

# mapping a codePost ID to students
# (note that this could be loaded from a CSV file)
partnerships = {
    65490: ["student1@princeton.edu", "student2@princeton.edu"],