CarsonHoffman / office-hours-queue

Related projects ⓘ

Alternatives and complementary repositories for office-hours-queue

• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• MisakaCenter / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆18Updated 2 years ago
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated last year
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆21Updated this week
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆18Updated 6 months ago
• TypeDuck-HK / TypeDuck-Mac
  Cantonese Input Method for macOS
  ☆15Updated this week
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆19Updated last month
• CanCLID / inject-jyutping
  A browser extension that adds Cantonese pronunciation (Jyutping) on Chinese characters
  ☆73Updated last month
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 2 years ago
• SchrodingerZhu / paguroidea
  A reimplementation of the Flap parser in Rust (with our own modifications applied)!
  ☆53Updated 7 months ago
• MisakaCenter / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 4 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot-Neo
  在 Telegram 上快速模仿迟先生卖弱。
  ☆16Updated this week
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• Enter-tainer / jogs
  ☆20Updated 6 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆52Updated 2 weeks ago
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆27Updated 2 months ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆15Updated last year
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆18Updated 2 weeks ago
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆17Updated 3 weeks ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆13Updated 7 months ago
• AlienKevin / wordshk-tools
  Tools for processing open Cantonese dictionary data provided words.hk
  ☆18Updated this week
• rami3l / plfl
  Learn Lean 4 with PLFA proofs.
  ☆50Updated 6 months ago
• oxalica / cbench
  Environment control for benchmarks
  ☆10Updated 3 months ago
• CircuitCoder / MeowThink
  A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat
  ☆17Updated 2 years ago
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated 2 months ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆51Updated this week
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated last year