katrinafyi / uqtpLinks
Timetable planner for UQ courses, written in Typescript with React.
☆14Updated 2 years ago
Alternatives and similar repositories for uqtp
Users that are interested in uqtp are comparing it to the libraries listed below
Sorting:
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated 11 months ago
- Resources for the UQCS competitive programming group☆20Updated last month
- A successor to the much revered and sorely missed UQ Timetable Planner☆30Updated 4 months ago
- UQCSbot: Our friendly little Discord bot☆20Updated 2 months ago
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆29Updated last year
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- DRAT proof processor☆15Updated 2 years ago
- Cline-Resume is a TeX resume template inspired by the Deedy Resume and work by Damian Watracz☆26Updated 3 years ago
- dcc - a C compiler which explains errors to novice programmers☆169Updated 10 months ago
- Libraries and tools for the SMT-LIB-2 standard.☆23Updated 3 years ago
- Education-focused MIPS Emulator written in Rust.☆101Updated 4 months ago
- Exhaustive list of ligma jokes☆340Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.☆180Updated 4 years ago
- A LaTeX Typesetting Game☆258Updated 7 months ago
- A terminal client for Up Bank written in Haskell ⚡.☆50Updated 6 months ago
- Paper and Demo Implementation of Paradoxical Compression with VDF☆175Updated 3 years ago
- A list of inputs that will beat the vast majority of Pokemon Firered games☆198Updated 2 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- ☆477Updated 4 years ago
- A giant tournament of all the enemy AI trainers in Pokémon Red☆172Updated 3 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- A list of inputs that beats Pokemon Platinum☆184Updated 4 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated 3 months ago
- math notes under one roof☆30Updated 5 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated 4 months ago
- Simple Minecraft/Voxel engine implementation in Rust using OpenGL☆25Updated 2 years ago
- Official Foundry landing page☆16Updated 2 years ago
- Olympiad GeoGuessr☆18Updated 7 months ago