Alternatives and similar repositories for office-hours-queue

Users that are interested in office-hours-queue are comparing it to the libraries listed below

• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated this week
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆31Updated 8 months ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated 2 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot-Neo
  在 Telegram 上快速模仿迟先生卖弱。
  ☆16Updated this week
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 2 years ago
• Enter-tainer / jogs
  ☆25Updated 2 months ago
• knrafto / MathSymbolsInput
  LaTeX-style mathematical symbols input method for macOS
  ☆17Updated last year
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆19Updated 2 years ago
• oxalica / cbench
  Environment control for benchmarks
  ☆14Updated 3 months ago
• rami3l / clavy
  An input source switching daemon for macOS.
  ☆19Updated 2 weeks ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆196Updated 6 months ago
• syimyuzya / guangyun0704
  有女同車《〈廣韻〉全字表》原表
  ☆14Updated 5 months ago
• Evian-Zhang / static-keys
  Static keys for Rust userland applications
  ☆57Updated 3 months ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 3 months ago
• Enter-tainer / typst-ws
  preview your typst document in instant
  ☆28Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 11 months ago
• progval / unicode_names2
  char <-> Unicode character name (maintained fork of huonw/unicode_names)
  ☆11Updated 3 months ago
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 6 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 months ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆13Updated this week
• divvun / xkb-parser
  ☆13Updated 11 months ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated this week
• joydddd / VP160-2020-SU-NOTES
  Joy Dong's recitation class notes for VP160 Honors Physics, 2020 Summer.
  ☆8Updated 4 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• typst / subsetter
  Reduces the size and coverage of OpenType fonts.
  ☆48Updated last month
• arsenali / rime-esperanto
  世界语输入方案
  ☆15Updated 3 years ago