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:
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Updated 3 years ago
- Cantonese Input Method for macOS☆24Updated 9 months ago
- A queue to help manage office hours for large courses☆86Updated last month
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 3 years ago
- Very Naive MIPS CPU using Clash☆29Updated 4 years ago
- Cicada Language (solo version)☆129Updated 10 months ago
- char <-> Unicode character name (maintained fork of huonw/unicode_names)☆11Updated 2 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated 3 months ago
- a simple html5 jyutping learning game☆19Updated 3 months ago
- Programming Language Foundations in Lean☆44Updated 4 months ago
- Typst Package to typeset inference rule☆41Updated last week
- DrRacket Tools for CS 135 course at UWaterloo☆26Updated 3 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆39Updated 5 months ago
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Play tetris in typst☆12Updated last year
- ☆17Updated 4 years ago
- 有女同車《〈廣韻〉全字表》原表☆15Updated 11 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- File format standardization converter, inspired by pandoc☆18Updated last month
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated last year
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20Updated 3 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆120Updated 5 years ago
- ☆22Updated last year
- A concurrent GC.☆43Updated 3 years ago
- The essence of Rust.☆128Updated 3 years ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- Idris front-end for VS Code☆60Updated 2 years ago