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 this week
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- UQCSbot: Our friendly little Discord bot☆20Updated 3 weeks ago
- DRAT proof processor☆15Updated 2 years ago
- A terminal client for Up Bank written in Haskell ⚡.☆49Updated 5 months ago
- UQCSbot: our friendly little Slack bot☆54Updated last year
- A formal logic framework that runs in the browser☆302Updated 9 months ago
- Notes from the 278 semester class at Harvard☆19Updated 3 months ago
- x86 C compiler written in untyped lambda calculus☆668Updated 2 years ago
- Paper and Demo Implementation of Paradoxical Compression with VDF☆174Updated 3 years ago
- A document language for the browser☆706Updated last year
- math notes under one roof☆29Updated 4 months ago
- Metamath Zero specification language☆352Updated last month
- Intel assembly finite field library generator☆13Updated last year
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- My personal repository of formally verified mathematics.☆306Updated 3 weeks ago
- Cline-Resume is a TeX resume template inspired by the Deedy Resume and work by Damian Watracz☆26Updated 3 years ago
- Curated list of rollups on Ethereum and their security guarantees.☆13Updated 4 years ago
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆40Updated 2 months ago
- How accurate are prediction markets?☆20Updated 3 weeks ago
- The Juvix standard library☆19Updated last week
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated 3 months ago
- ☆10Updated 5 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Coq definitions and lemmas for verification of Casper☆18Updated 6 years ago
- ☆27Updated 3 years ago
- A zero-knowledge virtual machine with only one instruction☆12Updated 3 years ago