UQComputingSociety / uqcsbot-discord
UQCSbot: Our friendly little Discord bot
☆20Updated this week
Alternatives and similar repositories for uqcsbot-discord:
Users that are interested in uqcsbot-discord are comparing it to the libraries listed below
- Resources for the UQCS competitive programming group☆20Updated 10 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated 4 months ago
- Timetable planner for UQ courses, written in Typescript with React.☆14Updated 2 years ago
- A filesystem driver that allows you to view your Blackboard course contents as if they were normal files and folders on your system!☆36Updated 9 months ago
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- A terminal client for Up Bank written in Haskell ⚡.☆47Updated last year
- A successor to the much revered and sorely missed UQ Timetable Planner☆26Updated 2 months ago
- A minimalist 8-bit microcomputer with stack-based microprocessor☆77Updated 3 weeks ago
- ☆39Updated 10 months ago
- Typst-setting finite automata with CeTZ.☆77Updated last month
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆117Updated 8 months ago
- A C-like native programming language☆9Updated 2 years ago
- ☆38Updated 3 years ago
- This is a Factorio mod for next level reliability engineering. Build dashboards for your factory in Datadog or get woken up by PagerDuty …☆16Updated 2 years ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- An online visual debugger for esoteric languages☆48Updated 11 months ago
- x86 C compiler written in untyped lambda calculus☆650Updated 2 years ago
- A modular markup language☆26Updated last year
- Schedule options calculator for UF☆20Updated last year
- A typst wasm plugin to use graphviz directly inside documents☆113Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆220Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆151Updated this week
- Snake playing agents☆76Updated 3 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆50Updated 4 months ago
- Rust bindings for the Z3 solver.☆380Updated 3 months ago
- A constructive proof assistant for second order logic.☆34Updated 6 months ago
- an experimental new programming language based on interaction nets☆239Updated last week
- A scraper and API for WebReg, UCSD's course enrollment system.☆12Updated 4 months ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆503Updated last month
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆283Updated this week