Skip to content
@Code-For-Groningen

Code-For-Groningen

README.md

Popular repositories Loading

  1. CodeFormatter 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 4

  2. temmies temmies Public

    Themis Python library. Aims to automate the retrieval and submission of data from and to the platform.

    Python 3

  3. TarskisWorld 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 2

  4. kattis-discord-bot kattis-discord-bot Public

    A small discord bot which track Kattis activity on the leaderboards for The RuG

    Java 2

  5. temmies-cli temmies-cli Public

    Command Line tool using the temmies library (for Themis code submission RUG)

    Python 1

  6. kattis-leaderboard kattis-leaderboard Public

    TypeScript 1

Repositories

Showing 9 of 9 repositories
  • kattis-leaderboard Public
    Code-For-Groningen/kattis-leaderboard’s past year of commit activity
    TypeScript 1 0 0 0 Updated Dec 14, 2024
  • kattis-discord-bot Public

    A small discord bot which track Kattis activity on the leaderboards for The RuG

    Code-For-Groningen/kattis-discord-bot’s past year of commit activity
    Java 2 MIT 0 0 0 Updated Dec 9, 2024
  • cover-forms-bot Public

    Discord bot to report on svcover.nl forms

    Code-For-Groningen/cover-forms-bot’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Dec 9, 2024
  • temmies-cli Public

    Command Line tool using the temmies library (for Themis code submission RUG)

    Code-For-Groningen/temmies-cli’s past year of commit activity
    Python 1 GPL-3.0 0 2 0 Updated Dec 7, 2024
  • .github Public
    Code-For-Groningen/.github’s past year of commit activity
    0 0 0 0 Updated Dec 5, 2024
  • temmies Public

    Themis Python library. Aims to automate the retrieval and submission of data from and to the platform.

    Code-For-Groningen/temmies’s past year of commit activity
    Python 3 GPL-3.0 0 1 0 Updated Dec 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.

    Code-For-Groningen/CodeFormatter’s past year of commit activity
    TypeScript 4 MIT 0 0 0 Updated Mar 20, 2024
  • Themis4VSC Public
    Code-For-Groningen/Themis4VSC’s past year of commit activity
    TypeScript 0 0 0 0 Updated Jul 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.

    Code-For-Groningen/TarskisWorld’s past year of commit activity
    Java 2 MIT 0 0 0 Updated Sep 12, 2022

Top languages

Loading…

Most used topics

Loading…