Alternatives and similar repositories for office-hours-queue

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

• 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
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 4 years ago
• TypeDuck-HK / TypeDuck-Mac
  Cantonese Input Method for macOS
  ☆24Updated 9 months ago
• wordshk / yue_references
  粵語/廣東話參考資料 Reference Materials for Yue / Cantonese
  ☆14Updated 2 months ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 3 years ago
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆39Updated 4 months ago
• progval / unicode_names2
  char <-> Unicode character name (maintained fork of huonw/unicode_names)
  ☆11Updated last month
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated last month
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• nk2028 / commonly-used-chinese-characters-and-words
  漢語常用字詞表
  ☆16Updated 2 years ago
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Updated 3 months ago
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 3 months ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆133Updated last month
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆20Updated last year
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• aatxe / oxide
  The essence of Rust.
  ☆129Updated 3 years ago
• marcanuy / cedict_utils
  Parser for CC-CEDICT Chinese-English dictionary in Python
  ☆11Updated 2 years ago
• trackoor / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 5 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆43Updated 3 months ago
• CanCLID / sentences
  粵語對話語料
  ☆29Updated 2 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆65Updated this week
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated 10 months ago
• AlienKevin / wordshk-tools
  Tools for processing open Cantonese dictionary data provided words.hk
  ☆22Updated 9 months ago
• tomcumming / tocfl-word-list
  TOCFL word-list CSV file generator
  ☆14Updated 11 months ago
• Enter-tainer / jogs
  ☆27Updated 8 months ago
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆14Updated last year
• notedge / panduck.rs
  File format standardization converter, inspired by pandoc
  ☆18Updated 3 weeks ago
• CanCLID / inject-jyutping
  A browser extension that adds Cantonese pronunciation (Jyutping) on Chinese characters
  ☆88Updated 3 months ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year