katrinafyi / how-behindLinks
How behind am I? Keeping track of missed Zoom lectures since 2020.
☆10Updated 6 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 last year
- 🍊 橙功之道. 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☆26Updated 4 months ago
- A terminal client for Up Bank written in Haskell ⚡.☆48Updated last month
- Some simple C++ template abuse☆18Updated 5 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 3 years ago
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆372Updated this week
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 3 years ago
- a challenge for Haskell beginners☆454Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆39Updated last week
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- I wanted to make a nicer sticker for Munihac, then things got out of hand.☆150Updated 4 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 2 years ago
- ☆307Updated 2 months ago
- A new Categories library for Agda☆381Updated last week
- Programming with pure lambda calculus☆108Updated last month
- Competitive programming utilities in Haskell☆30Updated 5 months ago
- The agda-unimath library☆255Updated this week
- ☆64Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- ☆162Updated 5 years ago
- ⌨️ A modern TUI typing game featuring online racing against friends.☆93Updated 3 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆106Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- 😎TT☆228Updated last year