Skip to content
Change the repository type filter

All

    Repositories list

    • eduOS-rs

      Public
      A teaching operating system written in Rust
      Rust
      Apache License 2.0
      2743431Updated Nov 12, 2024Nov 12, 2024
    • The Legrand Orange Book implemented in Typst
      Typst
      MIT No Attribution
      4000Updated Nov 5, 2024Nov 5, 2024
    • v86

      Public
      x86 PC emulator and x86-to-wasm JIT, running in the browser
      JavaScript
      BSD 2-Clause "Simplified" License
      1.4k000Updated Oct 20, 2024Oct 20, 2024
    • linux

      Public
      Linux kernel source tree
      C
      Other
      54k100Updated Aug 18, 2024Aug 18, 2024
    • ax

      Public
      Minimal x86-64 emulator for WebAssembly - run ELF binaries in your browser
      Rust
      GNU Affero General Public License v3.0
      5000Updated Mar 25, 2024Mar 25, 2024
    • An experimental pure-Rust x86 bootloader
      Rust
      Apache License 2.0
      210000Updated Nov 13, 2022Nov 13, 2022
    • ehyve

      Public archive
      An educational hypervisor for eduOS-rs
      Rust
      Apache License 2.0
      62020Updated Oct 24, 2022Oct 24, 2022
    • Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization
      Rust
      MIT License
      22100Updated May 2, 2022May 2, 2022
    • gi4

      Public archive
      Example code from the course "Foundations of Computer Science 4"
      C
      GNU General Public License v2.0
      6100Updated Apr 24, 2020Apr 24, 2020
    • libwhp

      Public
      Windows Hypervisor Platform Rust crate
      Rust
      Apache License 2.0
      12000Updated Mar 25, 2020Mar 25, 2020
    • Allows for initiating start, stop, and migration of virtual machines by means of MQTT messages.
      C++
      GNU Lesser General Public License v3.0
      4140Updated Jan 17, 2020Jan 17, 2020
    • Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization
      Rust
      MIT License
      9000Updated Dec 23, 2019Dec 23, 2019
    • rust-x86

      Public
      Rust library to use x86 (amd64) specific functionality and registers.
      Rust
      MIT License
      60000Updated Dec 29, 2018Dec 29, 2018
    • MS-DOS

      Public
      The original sources of MS-DOS 1.25 and 2.0, for reference purposes
      Assembly
      Other
      4.4k000Updated Sep 29, 2018Sep 29, 2018
    • Template for a LaTeX beamer slides inspired by the (old) RWTH style
      TeX
      GNU General Public License v3.0
      83000Updated Aug 6, 2018Aug 6, 2018
    • libvirt

      Public
      Fork from git://libvirt.org/libvirt.git extending it by the lxctools driver.
      C
      GNU Lesser General Public License v2.1
      3510Updated Jul 18, 2018Jul 18, 2018
    • POSIX Threads for embedded systems (PTE)
      C
      Other
      4800Updated Jul 3, 2018Jul 3, 2018
    • libhermit

      Public archive
      A Unikernel for Extreme-Scale Computing
      C
      BSD 3-Clause "New" or "Revised" License
      44000Updated May 29, 2018May 29, 2018
    • newlib

      Public
      Mirror of git clone git://sourceware.org/git/newlib-cygwin.git
      C
      GNU General Public License v2.0
      4101Updated May 25, 2018May 25, 2018
    • gcc

      Public
      Mirror of git://gcc.gnu.org/git/gcc.git
      C
      GNU General Public License v2.0
      1100Updated May 25, 2018May 25, 2018
    • binutils

      Public
      Mirror of git://sourceware.org/git/binutils-gdb.git
      C
      GNU General Public License v2.0
      3000Updated May 19, 2018May 19, 2018
    • cpuid library in rust.
      Rust
      MIT License
      46000Updated Mar 2, 2018Mar 2, 2018
    • pscom

      Public
      C
      Other
      8200Updated Jan 15, 2018Jan 15, 2018
    • unik

      Public
      The Unikernel Compilation and Deployment Platform
      Go
      Apache License 2.0
      191000Updated Jul 3, 2017Jul 3, 2017
    • eduOS

      Public archive
      A teaching operating system to get a deeper knowledge in the design of system software
      C
      3913613Updated Jun 14, 2017Jun 14, 2017
    • kvm

      Public
      Rust bindings to the KVM interface
      Rust
      Apache License 2.0
      4000Updated May 31, 2017May 31, 2017
    • x86_64

      Public
      Library to program x86_64 hardware.
      Rust
      MIT License
      132000Updated May 11, 2017May 11, 2017
    • Collection of MPI benchmarks
      C
      Apache License 2.0
      1000Updated Mar 31, 2017Mar 31, 2017
    • POSIX Threads for embedded systems (PTE)
      C
      Other
      18000Updated Dec 30, 2016Dec 30, 2016
    • C
      Other
      41000Updated Sep 12, 2016Sep 12, 2016