UQComputingSociety / uqcsbot-discord
UQCSbot: Our friendly little Discord bot
☆20Updated 2 months ago
Alternatives and similar repositories for uqcsbot-discord:
Users that are interested in uqcsbot-discord are comparing it to the libraries listed below
- Timetable planner for UQ courses, written in Typescript with React.☆14Updated 2 years ago
- Resources for the UQCS competitive programming group☆20Updated 9 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated 3 months ago
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- A terminal client for Up Bank written in Haskell ⚡.☆48Updated last year
- x86 C compiler written in untyped lambda calculus☆640Updated 2 years ago
- Programming language from down under☆628Updated 2 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- X: A programming language that only accepts identifiers that look like the letter 'x'. Inspired by https://xkcd.com/2309/☆42Updated 3 years ago
- A simple library for reporting compiler/interpreter errors☆261Updated 6 months ago
- ☆39Updated 8 months ago
- A C-like native programming language☆9Updated 2 years ago
- An esoteric programming language, using box-drawing characters☆23Updated 4 years ago
- Enhancement suite for RIT's myCourses☆18Updated 3 years ago
- A formal logic framework that runs in the browser☆281Updated 2 months ago
- ☆185Updated last week
- A library for writing discord bots in haskell☆115Updated 4 months ago
- ☆9Updated 4 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆179Updated this week
- ☆280Updated 2 years ago
- what have I done☆80Updated 3 years ago
- Simple expression transformer that is not Coq.☆255Updated last year
- 🥺☆397Updated 2 years ago
- Project Euler but with some variety☆13Updated last week
- Total Surveillance Automatic Ban Machine for Twitch and Discord☆149Updated 4 years ago
- Ribbon programming language compiler, runtime, etc☆12Updated 2 weeks ago
- Easy c̵̰͠r̵̛̠ö̴̪s̶̩̒s̵̭̀-t̶̲͝h̶̯̚r̵̺͐e̷̖̽ḁ̴̍d̶̖̔ ȓ̵͙ė̶͎ḟ̴͙e̸̖͛r̶̖͗ë̶̱́ṉ̵̒ĉ̷̥e̷͚̍ s̷̹͌h̷̲̉a̵̭͋r̷̫̊ḭ̵̊n̷̬͂g̵̦̃ f̶̻̊ơ̵̜ṟ̸̈́ R̵̞̋ù̵…☆311Updated 2 years ago
- Programming with pure lambda calculus☆97Updated last week
- A garden of small programming language implementations 🪴☆202Updated last week
- Tool for developing tasks for programming competitions.☆16Updated this week