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
- How behind am I? Keeping track of missed Zoom lectures since 2020.β10Updated 3 months ago
- Resources for the UQCS competitive programming groupβ20Updated 9 months ago
- π ζ©εδΉι. The road to nutrition and health.β10Updated last year
- UQCSbot: Our friendly little Discord botβ20Updated 2 months ago
- A successor to the much revered and sorely missed UQ Timetable Plannerβ26Updated last month
- UQCSbot: our friendly little Slack botβ55Updated last year
- A LaTeX Typesetting Gameβ244Updated 3 weeks ago
- "code" demonstrating PowerPoint Fractalsβ36Updated 5 years ago
- Some simple C++ template abuseβ18Updated 5 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contractsβ19Updated 5 months ago
- Sploosh Kaboom web interfaceβ210Updated last year
- A giant tournament of all the enemy AI trainers in PokΓ©mon Redβ171Updated 3 years ago
- Course selection made easyβ19Updated last year
- The UQ Computing Society website.β12Updated this week
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.β28Updated 6 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β295Updated 11 months ago
- Merkle distributor written in Huffβ12Updated 2 years ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lanβ¦β147Updated last week
- Tutorial Questions for the Programming II course at Imperial College Londonβ50Updated last year
- A website that simulates various finite state machines: DFA, NFA, PDA.β102Updated 2 years ago
- Lightweight EVM implementationβ9Updated 2 years ago
- β9Updated 4 years ago
- Interactive Coq Proofs in Vimβ282Updated last month
- doing the same thing over and over and expecting the same resultsβ41Updated 3 years ago
- Simple interface to see the history of course demand and allocationβ43Updated last month
- Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Techβ67Updated 2 years ago
- The programming language for Vaporeon connoisseursβ28Updated 2 years ago
- β29Updated 3 weeks ago
- SuperMario64 Technical Run-time Observer and Object Processorβ173Updated 5 months ago