Popular repositories Loading

1. projekt_20_repo projekt_20_repo Public

   SoftEng obligatorisk program

   Java

2. cs-a1-g20 cs-a1-g20 Public

   Computer Systems Assignment 2 Group 20

   Verilog

3. mldm_p1_g72 mldm_p1_g72 Public

   Python

4. ProgramAnalysis_group5 ProgramAnalysis_group5 Public

   Group assignments for the program analysis course

   Java

5. DiscordCopyBot DiscordCopyBot Public

   Forked from PizzaConsole/DiscordCopyBot

   Discord Message Copier: Seamlessly copy messages between channels, import to a new server, and export to CSV. Effortlessly manage conversations and preserve message history with this versatile bot.

   C#

6. AutoCorrode AutoCorrode Public

   Forked from awslabs/AutoCorrode

   Verification infrastructure for the Isabelle/HOL interactive proof assistant

   Isabelle