Skip to content
@GravenDev

Modération Graven

Équipe de modération du serveur discord de Graven

Pinned Loading

  1. ServeurDiscord ServeurDiscord Public

    8 2

Repositories

Showing 10 of 12 repositories
  • PrivateRooms Public Forked from RedsTom/PrivateRooms

    A bot to create private rooms

    GravenDev/PrivateRooms’s past year of commit activity
    Groovy 1 GPL-3.0 3 0 0 Updated Nov 2, 2024
  • GravenLevelling Public
    GravenDev/GravenLevelling’s past year of commit activity
    Java 0 0 0 0 Updated Oct 7, 2024
  • GravenSupport Public Forked from RedsTom/TicketTools

    The support bot for the GravenDev discord server

    GravenDev/GravenSupport’s past year of commit activity
    Java 1 GPL-3.0 5 0 1 Updated Apr 14, 2024
  • Announcer Public
    GravenDev/Announcer’s past year of commit activity
    Java 0 0 0 0 Updated Apr 7, 2024
  • Ticket-Reader Public Forked from RedsTom/Ticket-Reader
    GravenDev/Ticket-Reader’s past year of commit activity
    Vue 0 3 0 1 Updated Sep 18, 2023
  • TicketInotelad Public
    GravenDev/TicketInotelad’s past year of commit activity
    1 GPL-3.0 0 0 0 Updated Aug 25, 2023
  • Vesta Public Forked from adraug/Vesta

    The vesta discord bot github

    GravenDev/Vesta’s past year of commit activity
    Python 1 Apache-2.0 2 0 0 Updated May 19, 2023
  • ServeurDiscord Public
    GravenDev/ServeurDiscord’s past year of commit activity
    8 GPL-3.0 2 2 (1 issue needs help) 0 Updated Dec 15, 2022
  • GravenDev-Front Public archive

    The GravenDev website's frontend

    GravenDev/GravenDev-Front’s past year of commit activity
    Vue 0 0 0 0 Updated Aug 27, 2022
  • GravenDev-Back Public archive
    GravenDev/GravenDev-Back’s past year of commit activity
    Java 0 0 0 0 Updated Aug 27, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…