katrinafyi / how-behindLinks
How behind am I? Keeping track of missed Zoom lectures since 2020.
☆10Updated 10 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
- Resources for the UQCS competitive programming group☆20Updated 3 weeks ago
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Updated 4 months ago
- UQCSbot: Our friendly little Discord bot☆20Updated last month
- A terminal client for Up Bank written in Haskell ⚡.☆49Updated 5 months ago
- UQCSbot: our friendly little Slack bot☆54Updated last year
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- DRAT proof processor☆15Updated 2 years ago
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,154Updated last month
- Exhaustive list of ligma jokes☆341Updated 2 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- Simple Minecraft/Voxel engine implementation in Rust using OpenGL☆25Updated 2 years ago
- Chrome extension that highlights unwanted tweets☆43Updated 4 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- A Python implementation of Garbled Circuits MPC protocol☆61Updated last year
- x86 C compiler written in untyped lambda calculus☆667Updated 3 years ago
- experimental solidity compiler☆32Updated this week
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Updated 3 months ago
- Resource gathering + programming game☆887Updated this week
- Intel assembly finite field library generator☆13Updated last year
- Paper and Demo Implementation of Paradoxical Compression with VDF☆175Updated 3 years ago
- My personal repository of formally verified mathematics.☆306Updated last week
- ☆17Updated 2 years ago
- Blazing-fast Ethereum wallet, where Rust brings web and terminal together for hackers.☆16Updated last month
- A LaTeX Typesetting Game☆256Updated 6 months ago
- ☆36Updated 3 years ago
- A formal logic framework that runs in the browser☆303Updated 9 months ago