Explore @ps-tuebingen Open Source projects

@ps-tuebingen

ps-tuebingen

Stars
9
Global Org. Rank 162,640 (Top 52 %)
Registered almost 10 years ago
Most used languages

Racket
66.7 %

Coq 33.3 %

decomposition-diversity

Decomposition diversity with symmetric data and codata

gravity

A orbit simulation game, written in the teaching language BSL.

informatik-1-skript

Skript für die Vorlesung Informatik I an der Universität Tübingen