Explore projects

H

Dorian Stoll / HPC Benchmark Game

2

Updated Dec 05, 2024

2 1 0 0

Updated Dec 05, 2024
V

Fabian Patrick Lampe / VR-TestRoomUnity

Repository for the VR Tutorial of Unity

0

Updated Aug 01, 2024

0 0 0 0

Updated Aug 01, 2024
P

Paul Albrecht / prop-fftw

0

Updated Jul 04, 2024

0 0 0

Updated Jul 04, 2024
M

Marie-Sophie Rohwäder / Matrix Paper
GNU General Public License v3.0 or later

0

Updated Mar 12, 2024

0 1 0 0

Updated Mar 12, 2024
O

ATP / Omega-Library
BSD 2-Clause "Simplified" License

The Omega Decision Procedure Library

0

Updated Nov 06, 2023

0 0 0 0

Updated Nov 06, 2023
Florian Nowotny / Mathe_Term-Waage
MIT License

Ein Projekt der Mathedidaktik zur Veranschaulischung linearer Gleichungssysteme

0

Updated Aug 24, 2023

0 0 0 0

Updated Aug 24, 2023
T

Eike Bornholdt / thesis

0

Updated Jul 06, 2023

0 0 0 0

Updated Jul 06, 2023
M

Florian Nowotny / MyDiningTable

TestProject for the Kurs^^

0

Updated May 26, 2023

0 0 0 0

Updated May 26, 2023
C

Elias Pichottka / cp-setup

0

Updated Jul 24, 2021

0 0 0 0

Updated Jul 24, 2021
H

Elias Pichottka / hamming-code
GNU General Public License v2.0 or later

0

Updated Aug 10, 2020

0 0 0 0

Updated Aug 10, 2020
R

Tom Kranz / reglibcpp

Naïve C++ implementation of models for regular languages.

0

Updated Oct 08, 2018

0 0 0 0

Updated Oct 08, 2018
R

Tom Kranz / RegWeb

0

Updated Aug 29, 2018

0 0 0 0

Updated Aug 29, 2018
R

Daniel Nelle / ryu
Apache License 2.0

0

Updated Aug 20, 2016

0 0 0 0

Updated Aug 20, 2016