Christoph Kirsch

Repositories

• selfie

  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

  emulator computer-science compiler virtual-machine teaching symbolic-execution-engine
  C BSD-2-Clause 216 1,246 13 0 Updated Oct 27, 2020

• CS4All

  This is the Homepage of the Computer Science for All Courses by Professor Christoph Kirsch at the University of Salzburg, Austria.

  computer-science compiler virtualization teaching operating-system cs4all
  CSS BSD-2-Clause 23 8 0 0 Updated Oct 1, 2020

• CC-Summer-2016

  Introduction to Compiler Construction 2016
  3 0 0 0 Updated Sep 10, 2016

• SE-Winter-2015

  Systems Engineering 2015
  BSD-2-Clause 14 0 0 6 Updated Feb 22, 2016

• AOS-Winter-2015

  Advanced Operating Systems 2015
  BSD-2-Clause 5 0 0 11 Updated Jan 28, 2016

• IOS-Winter-2015

  Introduction to Operating Systems 2015
  BSD-2-Clause 0 0 0 0 Updated Sep 30, 2015

• CMM-Summer-2015

  Concurrency and Memory Management Seminar 2015
  0 0 0 0 Updated Jul 1, 2015

• CC-Summer-2015

  Introduction to Compiler Construction 2015
  0 0 0 0 Updated Mar 6, 2015

• SE-Winter-2014

  Systems Engineering 2014
  BSD-2-Clause 1 0 0 0 Updated Oct 16, 2014

• AOS-Winter-2014

  Advanced Operating Systems 2014
  BSD-2-Clause 1 0 0 0 Updated Oct 6, 2014

• IOS-Winter-2014

  Introduction to Operating Systems 2014
  BSD-2-Clause 0 0 0 0 Updated Oct 2, 2014

• CE290I-Fall-2014

  2014 Graduate Class in CEE at UC Berkeley: Civil Systems: Control and Information Management, Computer Science for Non-Computer Scientists
  2 1 0 0 Updated Oct 2, 2014

• CC-Summer-2014

  Introduction to Compiler Construction 2014
  0 0 0 0 Updated Apr 7, 2014

• CMM-Summer-2014

  Concurrency and Memory Management Seminar 2014
  0 0 0 0 Updated Mar 21, 2014

• IOS-Winter-2013

  Introduction to Operating Systems 2013
  BSD-2-Clause 0 0 0 0 Updated Oct 14, 2013

• AOS-Winter-2013

  Advanced Operating Systems 2013
  BSD-2-Clause 0 0 0 0 Updated Sep 27, 2013

• pintos-for-students

  Pintos for students fork from git://pintos-os.org/pintos-anon
  C 11 2 1 0 Updated Sep 3, 2013

• CMM-Summer-2013

  Concurrency and Memory Management Seminar 2013
  0 0 0 0 Updated Jun 27, 2013

• CC-Summer-2013

  Introduction to Compiler Construction 2013
  1 0 0 0 Updated Mar 22, 2013