HarvardPL/cs152-lecture-code external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

HarvardPL/cs152-lecture-code

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/HarvardPL/cs152-lecture-code)

Close

HarvardPL / cs152-lecture-codeView on GitHubMore

• External links
• Readme badge

Code from CS152 lectures

☆14Feb 10, 2026Updated 2 weeks ago

Alternatives and similar repositories for cs152-lecture-code

Users that are interested in cs152-lecture-code are comparing it to the libraries listed below

• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Feb 20, 2026Updated last week
• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated last month
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Aug 28, 2024Updated last year
• codereport / bqn-code

  View on GitHub
  A compilation of BQN solutions to various coding challenges.
  ☆12Feb 16, 2026Updated last week
• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated 6 months ago
• namin / relaxed-machines

  View on GitHub
  program synthesis with neuro-symbolic differentiable interpreters
  ☆17Sep 17, 2025Updated 5 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• plclub / cis6700-23sp

  View on GitHub
  CIS 6700, Spring 2023
  ☆18Feb 15, 2023Updated 3 years ago
• ErSanSan233 / modern-manju-round

  View on GitHub
  一款现代风格的满文字体
  ☆27Aug 1, 2025Updated 6 months ago
• ionkaon / data

  View on GitHub
  甬江小片方言資料整理
  ☆28Jan 11, 2026Updated last month
• ShingZhanho / ENGG1340-Project-25Spring

  View on GitHub
  The repository for HKU ENGG1340 Group Project (24/25 Semester 2).
  ☆10Jun 22, 2025Updated 8 months ago
• Zhuo-Yuanhao / ALBERT-TextCNN-Chinese-

  View on GitHub
  ☆12Oct 12, 2020Updated 5 years ago
• jacobmilligan / Skyrocket

  View on GitHub
  Cross-platform 3D game engine
  ☆10Jun 11, 2018Updated 7 years ago
• bagherilab / SWING

  View on GitHub
  Sliding Window Inference for Network Generation
  ☆10Feb 14, 2018Updated 8 years ago
• IsaacLab / LaboratorioIntangible

  View on GitHub
  ☆11Aug 4, 2019Updated 6 years ago
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆41Jan 20, 2026Updated last month
• sahanbull / VLE-Dataset

  View on GitHub
  ☆11Aug 23, 2023Updated 2 years ago
• EnhancedJax / NotesAtHKU

  View on GitHub
  Open, hand-typed notes by HKU students, for HKU students.
  ☆18Sep 5, 2025Updated 5 months ago
• zvms / zvms4-frontend

  View on GitHub
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Feb 11, 2026Updated 2 weeks ago
• maoken-fonts / maoken-heavy-labourer

  View on GitHub
  Source file of Maoken Heavy Labourer ｜ 猫啃网扛重族源文件
  ☆11Dec 6, 2021Updated 4 years ago
• fmottes / jax-morph

  View on GitHub
  Simulation and optimization of cell clusters.
  ☆13Aug 25, 2025Updated 6 months ago
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Jan 27, 2026Updated last month
• thermitex / cuckoo-flutter

  View on GitHub
  HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.
  ☆14Feb 8, 2025Updated last year
• darkyzhou / electron-loong64

  View on GitHub
  Electron ports for LoongArch
  ☆15Feb 16, 2026Updated last week
• slibby05 / rice

  View on GitHub
  an optimizing curry compiler
  ☆14Nov 27, 2022Updated 3 years ago
• KirisameMagicShop / kirisamemagicshop.github.io

  View on GitHub
  ☆10May 27, 2025Updated 9 months ago
• zxch3n / moon-crdt

  View on GitHub
  ☆14Oct 30, 2024Updated last year
• batosti / whatsapp-desktop

  View on GitHub
  ☆16Dec 5, 2025Updated 2 months ago
• vwxyzjn / gym-pysc2

  View on GitHub
  Gym wrapper for pysc2
  ☆10Sep 16, 2022Updated 3 years ago
• gogoduan / HKU_IDS_PROBATION

  View on GitHub
  Class materials, homeworks and videos for probation preparation.
  ☆19Feb 3, 2026Updated 3 weeks ago
• colmugx / moonbit-zig-experimental

  View on GitHub
  🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.
  ☆12Apr 7, 2025Updated 10 months ago
• alextsolovikos / DMDcsp

  View on GitHub
  Sparsity-Promoting Dynamic Mode Decomposition with Control
  ☆10Jul 6, 2023Updated 2 years ago
• source-academy / pie-slang

  View on GitHub
  Implementation of Pie, following The Little Typer
  ☆19Updated this week
• ilyasergey / plt-redex-fj

  View on GitHub
  A PLT Redex implementation of Featherweight Java
  ☆17Oct 8, 2012Updated 13 years ago
• w4nderlust / cppn-tensorflow

  View on GitHub
  Very Simple and Basic Implementation of Compositional Pattern Producing Network in TensorFlow
  ☆11Nov 27, 2019Updated 6 years ago
• Yu-zh / Tuzi

  View on GitHub
  A terminal text editor written in MoonBit
  ☆11Apr 7, 2025Updated 10 months ago
• jiahao42 / blog

  View on GitHub
  Personal blog
  ☆10Mar 10, 2020Updated 5 years ago
• CreativeMachinesLab / softbotEvolution

  View on GitHub
  ☆17Sep 21, 2016Updated 9 years ago
• vEnhance / evans-phd-notebook

  View on GitHub
  Virtual notebook that Evan uses for his PhD thesis.
  ☆10Sep 5, 2025Updated 5 months ago