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
• 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
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 2 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆19Updated 9 months ago
• Enter-tainer / jogs
  ☆24Updated this week
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 8 months ago
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆18Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆12Updated last year
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 2 years ago
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 2 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆18Updated 2 weeks ago
• UAlbertaALTLab / morphodict
  The Language Independent Intelligent Dictionary
  ☆23Updated 3 weeks ago
• LexiFi / menhir
  ☆18Updated 10 months ago
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆29Updated 5 months ago
• logsem / iris-lecture-notes
  ☆13Updated 6 months ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆24Updated last year
• oxalica / cbench
  Environment control for benchmarks
  ☆14Updated last week
• syimyuzya / guangyun0704
  有女同車《〈廣韻〉全字表》原表
  ☆14Updated 2 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆23Updated last month
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• Ichbinjoe / hwloc2-rs
  Rust bindings to Open MPI Portable Hardware Locality "hwloc" library 2.x
  ☆15Updated last year
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆55Updated last week