Alternatives and similar repositories for office-hours-queue

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

• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 3 years ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 3 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated 2 years ago
• TypeDuck-HK / TypeDuck-Mac
  Cantonese Input Method for macOS
  ☆25Updated 10 months ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 4 years ago
• nk2028 / commonly-used-chinese-characters-and-words
  漢語常用字詞表
  ☆16Updated 2 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• syimyuzya / guangyun0704
  有女同車《〈廣韻〉全字表》原表
  ☆15Updated last year
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆20Updated 3 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆47Updated 4 months ago
• progval / unicode_names2
  char <-> Unicode character name (maintained fork of huonw/unicode_names)
  ☆11Updated 3 months ago
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆19Updated 3 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆39Updated 6 months ago
• crlf0710 / tex-rs
  A port of TeX82 to Rust. (WIP)
  ☆35Updated 3 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 2 months ago
• meraymond2 / idris-ide-client
  TypeScript client for Idris IDE-mode.
  ☆13Updated 3 years ago
• rustcc / GEFS
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Updated 4 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated 11 months ago
• CanCLID / sentences
  粵語對話語料
  ☆29Updated 2 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• Zeta611 / simplebnf.typ
  A simple package to format Backus-Naur form
  ☆14Updated last year
• aatxe / oxide
  The essence of Rust.
  ☆128Updated 3 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• pnwamk / sst-tutorial
  ☆18Updated 4 years ago
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆20Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆32Updated 4 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot-Neo
  在 Telegram 上快速模仿迟先生卖弱。
  ☆16Updated last week