Alternatives and similar repositories for cis6700-23sp

Users that are interested in cis6700-23sp are comparing it to the libraries listed below

• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated last month
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Feb 10, 2026Updated last week
• decrn / tilogics

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

  View on GitHub
  Formalization of CBPV extended with effect and coeffect tracking
  ☆14Aug 30, 2024Updated last year
• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated 6 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆40Jan 20, 2026Updated 3 weeks ago
• cis571 / lc4-labs

  View on GitHub
  ☆19Mar 17, 2023Updated 2 years ago
• matijapretnar / millet

  View on GitHub
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆33Jan 13, 2025Updated last year
• pascutto / cachecache

  View on GitHub
  Efficient caching library for OCaml
  ☆33Sep 27, 2023Updated 2 years ago
• ShingZhanho / ENGG1340-Project-25Spring

  View on GitHub
  The repository for HKU ENGG1340 Group Project (24/25 Semester 2).
  ☆10Jun 22, 2025Updated 7 months ago
• QuadnucYard / radishom

  View on GitHub
  Draw elegant metro maps with ease
  ☆40Aug 12, 2025Updated 6 months ago
• 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
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• Alastair-Carr / Natural-Deduction-Pack

  View on GitHub
  Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"
  ☆13Feb 27, 2018Updated 7 years ago
• nachonavarro / cis502-notes

  View on GitHub
  Notes for CIS502 Analysis of Algorithms
  ☆31Mar 9, 2020Updated 5 years ago
• zvms / zvms4-frontend

  View on GitHub
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Feb 5, 2026Updated last week
• CIS548 / example-code

  View on GitHub
  This is the repository for example code from Prof. Boon Thau Loo's Operating System Course
  ☆53Jun 14, 2023Updated 2 years ago
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Jan 27, 2026Updated 3 weeks ago
• plclub / cis670-16fa

  View on GitHub
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Oct 25, 2022Updated 3 years ago
• brenfwd / leccapdl

  View on GitHub
  University of Michigan Lecture Capture Downloader
  ☆11Jan 28, 2026Updated 3 weeks ago
• source-academy / pie-slang

  View on GitHub
  Implementation of Pie, following The Little Typer
  ☆18Updated this week
• ProjectBabbler / ebird-scrapers

  View on GitHub
  Functions to scrape web pages from ebird.org
  ☆10Jul 15, 2025Updated 7 months ago
• cgswords / rsc

  View on GitHub
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Jun 12, 2018Updated 7 years ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• ShingZhanho / COMP2120-Notes

  View on GitHub
  Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.
  ☆12May 22, 2025Updated 8 months ago
• snskrt / desktop-dict

  View on GitHub
  Desktop Sanskrit-English Dictionary
  ☆12Jul 7, 2020Updated 5 years ago
• moonbit / MPI-exercise

  View on GitHub
  现代编程思想公开课课后练习
  ☆10Jul 4, 2024Updated last year
• trinkner / lapwing

  View on GitHub
  Lapwing is program to help birders analyze their personal eBird sightings. It has a graphical user interface that lets users create filte…
  ☆12May 29, 2020Updated 5 years 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
• gogoduan / HKU_IDS_PROBATION

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

  View on GitHub
  ☆11Mar 20, 2025Updated 10 months ago
• rstade / NetBricks

  View on GitHub
  NetBricks: A new network function framework based on Rust.
  ☆12Jan 2, 2026Updated last month
• zxch3n / moon-crdt

  View on GitHub
  ☆14Oct 30, 2024Updated last year
• sinhp / ProofLab

  View on GitHub
  ☆11May 14, 2023Updated 2 years ago
• plfa / plfl

  View on GitHub
  Programming Language Foundations in Lean
  ☆48Jul 22, 2025Updated 6 months ago
• nk2028 / ToMiddleChinese

  View on GitHub
  A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts
  ☆11Mar 13, 2023Updated 2 years ago
• jcoglan / infer

  View on GitHub
  Interpreter for inference rules
  ☆13May 5, 2018Updated 7 years ago