Repositories list

• Gruppenzuteilung_O-Phase

  Public
  C++

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• Mensa-am-Adenauerring

  Public
  KIT meal plan Discord bot

  Python

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• Doctor

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

  Java

  •

  MIT License

  •55 forks•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• IliasUploaderUtility

  Public
  Rust

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• PFERD

  Public
  Programm zum Flotten, Einfachen Runterladen von Dateien

  Python

  •

  Other

  •3030 forks•00 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• kitmatheinfo-bot

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

  Rust

  •

  MIT License

  •44 forks•00 stars•00 issues•22 pull requests•Updated Apr 1, 2026Apr 1, 2026

• kitmatheinfo-website

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

  SCSS

  •55 forks•44 stars•00 issues•11 pull request•Updated Mar 9, 2026Mar 9, 2026

• fahrplan

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

  TypeScript

  •11 fork•11 star•00 issues•00 pull requests•Updated Oct 19, 2025Oct 19, 2025

• latexfogel

  Public
  A discord bot that queries WolframAlpha and renders LaTeX

  Rust

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Dec 6, 2024Dec 6, 2024

• SimpleCodeTester

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

  Java

  •77 forks•00 stars•00 issues•00 pull requests•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 a…

  Java

  •

  GNU Affero General Public License v3.0

  •44 forks•00 stars•00 issues•00 pull requests•Updated Nov 1, 2024Nov 1, 2024

• JavadocApi

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

  Java

  •

  MIT License

  •33 forks•00 stars•00 issues•00 pull requests•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

  •11 fork•00 stars•00 issues•00 pull requests•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

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 15, 2021Nov 15, 2021

• discord-invite-link-icon-fetcher

  Public
  Fetches icons for Discord servers based on their invite link

  Python

  •11 fork•00 stars•00 issues•00 pull requests•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

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 12, 2021Jul 12, 2021