Giters
Klaus Ostermann (klauso)

klauso

Geek Repo

34

followers

2

following

4

stars

Company:University of Tübingen

Location:Tübingen

Home Page:http://ps.informatik.uni-tuebingen.de/team/ostermann/

Twitter:@klauso3

Github PK Tool:Github PK Tool

Organizations
ps-mr

Klaus Ostermann's repositories

PLT2011

Material for the course on Programming Languages and Types at University of Marburg

Language:ScalaStargazers:14Issues:3Issues:6

PL1-2014

Programming Languages I - University of Tübingen

Language:HTMLStargazers:13Issues:0Issues:0

PLT2013

PLT2013

Language:ScalaStargazers:6Issues:0Issues:0

KdP2012

Konzepte der Programmiersprachen, Uni Marburg, SS 2012

Language:RacketStargazers:5Issues:0Issues:0

PLT2012

Language:ScalaStargazers:3Issues:0Issues:0

SLE2013

Language:ScalaStargazers:2Issues:6Issues:0

SDPT

Software Design und Programmiertechniken WS 2014 Universität Tübingen

Language:JavaStargazers:1Issues:2Issues:0

autosubst2

Official repository of the Autosubst 2 project.

License:NOASSERTIONStargazers:0Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

kodi

kodi plugins & addons

Language:PythonStargazers:0Issues:1Issues:0

nodebb-plugin-ns-embed

Embed media and rich content in posts: YouTube, Vimeo, Twitch and more.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

nodebb-plugin-twitter

NodeBB Plugin that allows users to embed tweets inline in their posts

Language:JavaScriptLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

wisp

Wisp Is Scala Plotting

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0