katrinafyi / uqtp
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 5 months 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
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 8 months ago
- Visual Studio Code extension for Coq☆382Updated this week
- Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.☆173Updated 3 years ago
- vegetal☆243Updated 9 months ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆108Updated 2 years ago
- Lightweight EVM implementation☆9Updated 2 years ago
- x86 C compiler written in untyped lambda calculus☆657Updated 2 years ago
- Solves systems of polynomial equations.☆29Updated last year
- Historical L1Block snapshotter for OP Stack chains☆16Updated last year
- A LaTeX Typesetting Game☆248Updated last month
- Assembly implementation of EIP-4788 system contract.☆22Updated 8 months ago
- Sploosh Kaboom web interface☆211Updated last year
- Intel assembly finite field library generator☆12Updated last year
- ☆29Updated 2 weeks ago
- Simple Minecraft/Voxel engine implementation in Rust using OpenGL☆24Updated 2 years ago
- ☆14Updated 2 years ago
- A Two-Step Transfer Ownable contract implemented in Huff.☆16Updated 2 years ago
- This repository is for topologic and geometric data analysis.☆13Updated 2 years ago
- Project Euler problems in text file for offline use☆74Updated 4 years ago
- 👓☆15Updated 2 years ago
- Libraries and tools for the SMT-LIB-2 standard.☆23Updated 3 years ago
- ☆15Updated 2 years ago
- GitHub action that installs huffc☆17Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 11 months ago