Skip to content

@cksystemsteaching Christoph Kirsch

Change the repository type filter

All

    Repositories list

    20 repositories

    • selfie

      Public
      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.
      emulatorcomputer-sciencecompiler
      emulatorcomputer-sciencecompilervirtual-machineteachingsymbolic-execution-engine
      Jupyter Notebook
      •
      BSD 2-Clause "Simplified" License
      •355•2.5k•15•2•Updated Aug 8, 2026Aug 8, 2026

    • rotor-rust

      Public
      Turn a RISC-V binary into a bit-precise BTOR2 model and let a model checker hunt bugs across every possible input - in ~0.1 s where the reference takes 139 s. I…
      rustsymbolic-executionvisualizer
      rustsymbolic-executionvisualizerriscvmodel-checkingselfieformal-verificationbounded-model-checkingbtor2
      Rust
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jul 10, 2026Jul 10, 2026

    • CS4All

      Public
      This is the homepage of the Computer Science for All courses by Professor Christoph Kirsch at the University of Salzburg, Austria.
      computer-sciencecompilervirtualization
      computer-sciencecompilervirtualizationteachingoperating-systemcs4all
      CSS
      •
      BSD 2-Clause "Simplified" License
      •24•27•0•0•Updated Dec 2, 2024Dec 2, 2024

    • CC-Summer-2016

      Public
      Introduction to Compiler Construction 2016
      2•1•0•0•Updated Sep 10, 2016Sep 10, 2016

    • SE-Winter-2015

      Public
      Systems Engineering 2015
      BSD 2-Clause "Simplified" License
      •13•1•0•6•Updated Feb 22, 2016Feb 22, 2016

    • AOS-Winter-2015

      Public
      Advanced Operating Systems 2015
      BSD 2-Clause "Simplified" License
      •5•1•0•10•Updated Jan 28, 2016Jan 28, 2016

    • IOS-Winter-2015

      Public
      Introduction to Operating Systems 2015
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 30, 2015Sep 30, 2015

    • CMM-Summer-2015

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

    • CC-Summer-2015

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

    • SE-Winter-2014

      Public
      Systems Engineering 2014
      BSD 2-Clause "Simplified" License
      •1•0•0•0•Updated Oct 16, 2014Oct 16, 2014

    • AOS-Winter-2014

      Public
      Advanced Operating Systems 2014
      BSD 2-Clause "Simplified" License
      •1•0•0•0•Updated Oct 6, 2014Oct 6, 2014

    • IOS-Winter-2014

      Public
      Introduction to Operating Systems 2014
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Oct 2, 2014Oct 2, 2014

    • CE290I-Fall-2014

      Public
      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, 2014Oct 2, 2014

    • CC-Summer-2014

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

    • CMM-Summer-2014

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

    • IOS-Winter-2013

      Public
      Introduction to Operating Systems 2013
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Oct 14, 2013Oct 14, 2013

    • AOS-Winter-2013

      Public
      Advanced Operating Systems 2013
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 27, 2013Sep 27, 2013

    • pintos-for-students

      Public
      Pintos for students fork from git://pintos-os.org/pintos-anon
      C
      •
      Other
      •17•4•1•0•Updated Sep 3, 2013Sep 3, 2013

    • CMM-Summer-2013

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

    • CC-Summer-2013

      Public
      Introduction to Compiler Construction 2013
      1•0•0•0•Updated Mar 22, 2013Mar 22, 2013
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.