CarsonHoffman / office-hours-queueLinks
☆12Updated last year
Alternatives and similar repositories for office-hours-queue
Users that are interested in office-hours-queue are comparing it to the libraries listed below
Sorting:
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Updated 3 years ago
- char <-> Unicode character name (maintained fork of huonw/unicode_names)☆12Updated 5 months ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 3 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated 3 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated last month
- Cantonese Input Method for macOS☆30Updated last year
- 漢語常用字詞表☆16Updated 2 years ago
- 有女同車《〈廣韻〉全字表》原表☆15Updated last year
- 粵語對話語料☆29Updated 2 years ago
- A browser extension that adds Cantonese pronunciation (Jyutping) on Chinese characters☆87Updated 6 months ago
- Loengfan (粵語兩分) is the Cantonese version of the Liang Fen input method☆15Updated 3 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆40Updated 8 months ago
- Coq code formatter☆24Updated 2 weeks ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Updated 6 months ago
- The essence of Rust.☆134Updated 3 years ago
- An input source switching daemon for macOS.☆22Updated last week
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆55Updated last year
- File format standardization converter, inspired by pandoc☆19Updated 3 months ago
- ☆27Updated 11 months ago
- Tools for processing open Cantonese dictionary data provided words.hk☆23Updated last year
- Haskell library for parsing and evaluating typst☆68Updated last week
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 5 years ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- Reduces the size and coverage of OpenType fonts.☆50Updated 2 months ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆137Updated 4 months ago
- rime-cantonese 上游詞表倉庫☆31Updated last month
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 8 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆27Updated 2 months ago