UQComputingSociety / uqcsbot-slack
UQCSbot: our friendly little Slack bot
☆55Updated last year
Related projects ⓘ
Alternatives and complementary repositories for uqcsbot-slack
- 🍊 橙功之道. The road to nutrition and health.☆10Updated 9 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated this week
- Resources for the UQCS competitive programming group☆21Updated 6 months ago
- Timetable planner for UQ courses, written in Typescript with React.☆14Updated last year
- A terminal client for Up Bank written in Haskell ⚡.☆47Updated 10 months ago
- A successor to the much revered and sorely missed UQ Timetable Planner☆26Updated 5 months ago
- UQCSbot: Our friendly little Discord bot☆20Updated this week
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- Your Semester Made Easier | Course Scheduling & Social Tools for Students☆90Updated 7 months ago
- A Coq library for Homotopy Type Theory☆1,256Updated this week
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆630Updated this week
- An experimental library for Cubical Agda☆459Updated this week
- This bot can help you invest in memes and make a fortune out of it!☆135Updated 5 years ago
- A project expo judging system 📊☆442Updated this week
- Formalizations of Gödel's Ontological Proof of God's Existence☆438Updated 5 years ago
- Algebraic graphs☆719Updated 6 months ago
- Code in memes☆124Updated last year
- Never Touch HTML – Generate modular, event-driven user interfaces with tagless templates for lightweight web applications.☆8Updated 2 months ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆58Updated 3 years ago
- 💁 an extensible real-time queue application, for mentorship @ hackathons and classrooms☆266Updated 4 years ago
- Minimal implementations for dependent type checking and elaboration☆619Updated 2 months ago
- Automatic Differentiation☆372Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆754Updated this week
- Miscellaneous articles. The readme is the table of contents.☆1,251Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆350Updated last week
- An introductory course to Homotopy Type Theory☆360Updated 4 years ago
- Course materials for David Simkins' Fall 2018 section of IGME-110 (Introduction to Interactive Media) at RIT☆12Updated 6 years ago
- ACT community resources☆465Updated 4 years ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆110Updated last year