CarsonHoffman / office-hours-queue
☆12Updated 11 months ago
Alternatives and similar repositories for office-hours-queue:
Users that are interested in office-hours-queue are comparing it to the libraries listed below
- A queue to help manage office hours for large courses☆86Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated 2 years ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆30Updated 6 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated 10 months ago
- ☆24Updated last month
- Coq code formatter☆22Updated this week
- 有女同車《〈廣韻〉全字表》原表☆14Updated 3 months ago
- Reference site for Jyutping | 粵拼參考網站☆86Updated 5 months ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆19Updated 2 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- char <-> Unicode character name (maintained fork of huonw/unicode_names)☆11Updated last month
- 汉语方言字 https://fangyanzi.vercel.app☆21Updated 2 years ago
- Typst Package to typeset inference rule☆35Updated last month
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- A port of TeX82 to Rust. (WIP)☆35Updated 3 years ago
- A JavaScript library for the Tshet-uinh phonological system☆44Updated last week
- A 4-year academic planner for the MIT community.☆23Updated last month
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- A optimizer for Chinese and Japanese typography on websites☆21Updated 11 months ago
- preview your typst document in instant☆28Updated last year
- Code from CS152 lectures☆13Updated last month
- 漢語常用字詞表☆11Updated last year
- Python implementation of kage engine -- a chinese character glyph generator☆24Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated last year
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 11 months ago
- High level Lean 4 FFI for Rust☆13Updated last year