Skip to content
View mkroening's full-sized avatar
🦀
Probably Programming
🦀
Probably Programming

Organizations

@RWTH-OS @RWTH-ACS @hermit-os @rust-osdev @threeten-jaxb @unikraft @rosenpass @unikernelalliance

Block or report mkroening

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. hermit-os/kernel hermit-os/kernel Public

    A Rust-based, lightweight unikernel.

    Rust 1.2k 86

  2. hermit-os/rftrace hermit-os/rftrace Public

    The Rust Function Tracer.

    Rust 36 6

  3. hermit-os/hermit-sync hermit-os/hermit-sync Public

    Synchronization primitives for kernels.

    Rust 6

  4. edu-sync edu-sync Public

    A command line application for synchronizing the contents of Moodle instances to your computer.

    Rust 24 1

  5. async-stm32f1xx async-stm32f1xx Public

    Abstractions for asynchronous programming on the STM32F1xx family of microcontrollers.

    Rust 24 2

  6. altarplanner altarplanner Public

    An easy to use application to create good altar server schedules.

    Java