Repositories list

• One-Sided-Sequent-Calculus

  Public
  JavaScript

  •0•0•0•1•Updated Jul 12, 2024Jul 12, 2024

• one-sided-sc-web

  Public
  Website for the one-sided sequent calculus ps-tuebingen/One-Sided-Sequent-Calculus

  0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• grading-statistics

  Public
  Grading statistics tool for use with handin

  Racket

  •0•0•0•0•Updated Mar 5, 2024Mar 5, 2024

• informatik-1-skript

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

  Racket

  •2•3•0•0•Updated Feb 5, 2024Feb 5, 2024

• handin

  Public
  Handin server and client

  Racket

  •16•0•0•0•Updated Jan 4, 2024Jan 4, 2024

• oopsla-2023-liftinference-artifact

  Public
  Vim Script

  •0•0•0•0•Updated Sep 4, 2023Sep 4, 2023

• oopsla-2023-btdstt-artifact

  Public
  Idris

  •0•0•0•0•Updated Feb 27, 2023Feb 27, 2023

• decomposition-diversity

  Public
  Decomposition diversity with symmetric data and codata

  Coq

  •0•3•2•1•Updated Dec 14, 2021Dec 14, 2021

• PL1-SS2016

  Public
  Programming Languages I - University of Tübingen

  HTML

  •5•2•0•0•Updated Mar 21, 2016Mar 21, 2016

• gravity

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

  Racket

  •

  MIT License

  •1•3•0•0•Updated Dec 11, 2015Dec 11, 2015