CarsonHoffman / office-hours-queue
☆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
- 在 Telegram 上快速模仿迟先生卖弱。☆16Updated this week
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- TOCFL word-list CSV file generator☆10Updated 5 months ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆19Updated 2 years ago
- ☆24Updated last month
- preview your typst document in instant☆28Updated 2 years ago
- [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.☆38Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- An input source switching daemon for macOS.☆19Updated 3 weeks ago
- A port of TeX82 to Rust. (WIP)☆34Updated 3 years ago
- Cantonese Input Method for macOS☆18Updated 3 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- Three implementations of Tarjan’s Union-Find☆18Updated 3 years ago
- char <-> Unicode character name (maintained fork of huonw/unicode_names)☆11Updated 2 months ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated last year
- An async python script that synchronizes files and folders across Canvas LMS Files and local, with extremely fast speed.☆52Updated 4 months ago
- A template for you to implement Hazelnut yourself☆21Updated 3 months ago
- Discussion section materials for COMP SCI 537 2021 Spring at the University of Wisconsin-Madison.☆16Updated 4 years ago
- Apple Silicon TSO Enabler for Linux☆16Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated last year
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- ☆13Updated 11 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated 11 months ago
- UW-Madison Course Monitor☆10Updated 5 years ago
- Coq code formatter☆22Updated this week
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 3 weeks ago
- Joy Dong's recitation class notes for VP160 Honors Physics, 2020 Summer.☆8Updated 4 years ago
- Static keys for Rust userland applications☆57Updated 2 months ago