katrinafyi / how-behindLinks
How behind am I? Keeping track of missed Zoom lectures since 2020.
☆10Updated 9 months ago
Alternatives and similar repositories for how-behind
Users that are interested in how-behind are comparing it to the libraries listed below
Sorting:
- Timetable planner for UQ courses, written in Typescript with React.☆14Updated 2 years ago
- UQCSbot: Our friendly little Discord bot☆20Updated last week
- Resources for the UQCS competitive programming group☆20Updated last year
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Updated 2 months ago
- A filesystem driver that allows you to view your Blackboard course contents as if they were normal files and folders on your system!☆36Updated last year
- A formal logic framework that runs in the browser☆299Updated 8 months ago
- UQCSbot: our friendly little Slack bot☆54Updated last year
- Cline-Resume is a TeX resume template inspired by the Deedy Resume and work by Damian Watracz☆26Updated 3 years ago
- a challenge for Haskell beginners☆460Updated 2 years ago
- x86 C compiler written in untyped lambda calculus☆666Updated 2 years ago
- DRAT proof processor☆15Updated 2 years ago
- Paper and Demo Implementation of Paradoxical Compression with VDF☆174Updated 3 years ago
- Debug and fix your gameboy emulator☆244Updated 10 months ago
- Chrome extension that highlights unwanted tweets☆44Updated 3 months ago
- Libraries and tools for the SMT-LIB-2 standard.☆23Updated 3 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,155Updated 2 weeks ago
- Game Boy: Complete Technical Reference☆385Updated last week
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Resource gathering + programming game☆883Updated this week
- Simple Minecraft/Voxel engine implementation in Rust using OpenGL☆25Updated 2 years ago
- An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.☆234Updated last year
- Metamath Zero specification language☆351Updated 3 weeks ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- Proving leftpad correct two-dozen different ways☆688Updated 4 months ago
- A understandable Haskell tracer.☆14Updated 3 years ago
- My personal repository of formally verified mathematics.☆305Updated last week
- Programming language from down under☆627Updated 3 years ago
- Exhaustive list of ligma jokes☆341Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year