Alternatives and similar repositories for office-hours-queue

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

• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 4 years ago
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated 2 years ago
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 3 years ago
• trackoor / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 5 years ago
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 3 weeks ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 3 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot-Neo
  在 Telegram 上快速模仿迟先生卖弱。
  ☆16Updated last week
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆40Updated 7 months ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• dark-flames / yukino-dev
  A type-driven and high-performance ORM framework in Rust
  ☆31Updated 7 months ago
• TypeDuck-HK / TypeDuck-Mac
  Cantonese Input Method for macOS
  ☆30Updated last year
• progval / unicode_names2
  char <-> Unicode character name (maintained fork of huonw/unicode_names)
  ☆12Updated 4 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆20Updated 3 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 3 months ago
• nk2028 / commonly-used-chinese-characters-and-words
  漢語常用字詞表
  ☆16Updated 2 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆48Updated 6 months ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• rustcc / GEFS
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Updated 5 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 6 months ago
• CanCLID / rime-loengfan
  Loengfan (粵語兩分) is the Cantonese version of the Liang Fen input method
  ☆14Updated 3 years ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• MarisaKirisame / ant
  ☆11Updated this week
• rami3l / clavy
  An input source switching daemon for macOS.
  ☆22Updated 3 weeks ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• raptazure / unifier
  A multi-threaded, persistent key/value store
  ☆17Updated 4 years ago
• CanCLID / inject-jyutping
  A browser extension that adds Cantonese pronunciation (Jyutping) on Chinese characters
  ☆87Updated 6 months ago
• syimyuzya / guangyun0704
  有女同車《〈廣韻〉全字表》原表
  ☆15Updated last year
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• meraymond2 / idris-ide-client
  TypeScript client for Idris IDE-mode.
  ☆13Updated 3 years ago