Code-For-Groningen
Popular repositories Loading
-
CodeFormatter
CodeFormatter PublicImperative Programming partially rates students on their code style. This tool helps people conform to all the rules given by the course.
TypeScript 4
-
TarskisWorld
TarskisWorld PublicThe 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
-
kattis-discord-bot
kattis-discord-bot PublicA small discord bot which track Kattis activity on the leaderboards for The RuG
Java 1
-
temmies-cli
temmies-cli PublicCommand Line tool using the temmies library (for Themis code submission RUG)
Python 1
-
Repositories
- 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 - 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 - Themis4VSC Public
Code-For-Groningen/Themis4VSC’s past year of commit activity - 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