Repositories list

• kitmatheinfo-bot

  Public
  Ich bin der offizielle Bot des studentischen Informatik und Mathematik Discordservers des KIT. Ich stelle serverspezifische Dienste bereit.

  Rust

  •

  MIT License

  •5•0•0•0•Updated Dec 13, 2024Dec 13, 2024

• kitmatheinfo-website

  Public
  Home of the code and content behind https://kitmatheinfo.net. Contributions welcome.

  SCSS

  •4•4•0•0•Updated Dec 13, 2024Dec 13, 2024

• latexfogel

  Public
  A discord bot that queries WolframAlpha and renders LaTeX

  Rust

  •

  MIT License

  •1•3•0•0•Updated Dec 6, 2024Dec 6, 2024

• PFERD

  Public
  Programm zum Flotten, Einfachen Runterladen von Dateien

  Python

  •

  Other

  •26•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• Gruppenzuteilung_O-Phase

  Public
  C++

  •2•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• Mensa-am-Adenauerring

  Public
  KIT meal plan Discord bot

  Python

  •1•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• SimpleCodeTester

  Public
  A web application that checks code against a range of user submitted tests.

  Java

  •7•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• Doctor

  Public
  A Discord bot serving Javadoc. Uses https://github.com/I-Al-Istannen/JavadocApi.

  Java

  •

  MIT License

  •6•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• classic

  Public
  This is the classic version of Chrisliebot and was supposed to service IRC services while a larger Discord-centered fork was in development. Due to recent API and policy changes on Discords end, this won't happen. Repository is only for bug fixes.

  Java

  •

  GNU Affero General Public License v3.0

  •4•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• IliasUploaderUtility

  Public
  Rust

  •

  MIT License

  •1•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• fahrplan

  Public
  Quickly turn an iCAL calendar url into a web page displaying its events

  TypeScript

  •1•0•0•0•Updated Mar 24, 2024Mar 24, 2024

• JavadocApi

  Public
  Builds a slightly more convenient model of java source code to power a discord javadoc bot.

  Java

  •

  MIT License

  •3•0•0•0•Updated Oct 15, 2022Oct 15, 2022

• discord-kit-mathe-info-bot

  Public
  A bot that is developed for a uni discord I frequent

  TypeScript

  •

  Other

  •1•0•0•0•Updated Nov 15, 2021Nov 15, 2021

• discord-user-channels-bot

  Public
  A bot to allow users to manage channels in a configured channel category without directly granting them permissions.

  Python

  •

  Other

  •1•0•0•0•Updated Nov 15, 2021Nov 15, 2021

• discord-invite-link-icon-fetcher

  Public
  Fetches icons for Discord servers based on their invite link

  Python

  •1•0•0•0•Updated Sep 26, 2021Sep 26, 2021

• JavadocApiServer

  Public
  A small server client for https://github.com/I-Al-Istannen/JavadocApi. Hacked together in an hour.

  Java

  •1•0•0•0•Updated Jul 12, 2021Jul 12, 2021