katrinafyi / how-behindLinks
How behind am I? Keeping track of missed Zoom lectures since 2020.
☆10Updated last year
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 3 years ago
- Resources for the UQCS competitive programming group☆20Updated 4 months ago
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- UQCSbot: Our friendly little Discord bot☆20Updated last month
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Updated 7 months ago
- A terminal client for Up Bank written in Haskell ⚡.☆50Updated 9 months ago
- DRAT proof processor☆16Updated 2 years ago
- UQCSbot: our friendly little Slack bot☆54Updated 2 years ago
- Libraries and tools for the SMT-LIB-2 standard.☆24Updated 4 years ago
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆30Updated last week
- Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech☆67Updated 3 years ago
- OCaml - Oxidized!☆635Updated this week
- My personal repository of formally verified mathematics.☆310Updated last week
- A zero-knowledge Lean4 compiler and kernel☆142Updated last year
- x86 C compiler written in untyped lambda calculus☆681Updated 3 years ago
- A library for building dynamic webapps, using Js_of_ocaml☆631Updated 2 weeks ago
- Metamath Zero specification language☆372Updated last month
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Updated 6 months ago
- A formal logic framework that runs in the browser☆323Updated last year
- ☆12Updated last year
- ☆39Updated last year
- a look into matt wang's intriguing monetary ventures☆10Updated 4 years ago
- Notes from the 278 semester class at Harvard☆19Updated last week
- math notes under one roof☆32Updated last week
- Natural Number Game☆283Updated last month
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆115Updated 2 years ago
- ☆355Updated 4 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Updated 5 months ago