Skip to content

@Code-For-Groningen Code-For-Groningen

Change the repository type filter

All

    Repositories list

    9 repositories

    • kattis-discord-bot

      Public
      A small discord bot which track Kattis activity on the leaderboards for The RuG
      Java
      •
      MIT License
      •0•2•0•0•Updated Jan 31, 2025Jan 31, 2025

    • kattis-leaderboard

      Public
      TypeScript
      •0•1•0•0•Updated Dec 14, 2024Dec 14, 2024

    • cover-forms-bot

      Public
      Discord bot to report on svcover.nl forms
      discordcoverrugsvcover
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • temmies-cli

      Public
      Command Line tool using the temmies library (for Themis code submission RUG)
      themisruggroningenuniversity-of-groningen
      Python
      •
      GNU General Public License v3.0
      •0•1•2•0•Updated Dec 7, 2024Dec 7, 2024

    • .github

      Public
      0•0•0•0•Updated Dec 5, 2024Dec 5, 2024

    • temmies

      Public
      Themis Python library. Aims to automate the retrieval and submission of data from and to the platform.
      Python
      •
      GNU General Public License v3.0
      •0•3•1•0•Updated Dec 3, 2024Dec 3, 2024

    • CodeFormatter

      Public
      Imperative Programming partially rates students on their code style. This tool helps people conform to all the rules given by the course.
      TypeScript
      •
      MIT License
      •0•4•0•0•Updated Mar 20, 2024Mar 20, 2024

    • Themis4VSC

      Public
      TypeScript
      •0•0•0•0•Updated Jul 4, 2023Jul 4, 2023

    • TarskisWorld

      Public
      The University of Groningen uses a piece of software named Tarski's World. This is a full documentation of it's format as well as different implementations of the format.
      Java
      •
      MIT License
      •0•2•0•0•Updated Sep 12, 2022Sep 12, 2022