Giters
Christoph Kirsch (ckirsch)

ckirsch

Geek Repo

118

followers

5

following

12

stars

Company:University of Salzburg

Location:Salzburg, Austria

Home Page:www.cs.uni-salzburg.at/~ck

Github PK Tool:Github PK Tool

Organizations
cksystemsgroup
cksystemsteaching

Christoph Kirsch's repositories

book

Stargazers:104Issues:14Issues:4

classes

Christoph Kirsch's Classes

Language:HTMLLicense:MITStargazers:1Issues:1Issues:0

publications

Christoph Kirsch's Publications

License:MITStargazers:1Issues:1Issues:0

talks

Christoph Kirsch's Talks

Language:HTMLLicense:MITStargazers:1Issues:1Issues:0

texlive

Docker TexLive Image

Language:DockerfileStargazers:1Issues:1Issues:0

bigcode-prl-prg.github.io

BigCode project website

Language:CSSStargazers:0Issues:0Issues:0

ckirsch.github.com

Christoph Kirsch's homepage

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

SIGPLAN.github.io

SIGPLAN website

Language:HTMLStargazers:0Issues:1Issues:0

test

License:CC0-1.0Stargazers:0Issues:0Issues:0