Repositories list

• unikraft

  Public
  Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

  C

  •

  Other

  •1.5k1.5k forks•33 stars•00 issues•00 pull requests•Updated Jun 4, 2024Jun 4, 2024

• linux

  Public
  Linux kernel source tree

  C

  •

  Other

  •64k64k forks•44 stars•00 issues•55 pull requests•Updated Feb 1, 2024Feb 1, 2024

• arc_uninit

  Public
  Rust reference counted smart pointers that can be shared before initialization

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 15, 2023Nov 15, 2023

• opsy-codelinaro.org-clo-la-kernel-msm-5.4

  Public
  FOSS changes of OpenSynergy for https://git.codelinaro.org/clo/la/kernel/msm-5.4.git

  C

  •

  GNU General Public License v2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 30, 2023Oct 30, 2023

• qemu

  Public
  Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use rele…

  C

  •

  Other

  •7.1k7.1k forks•44 stars•00 issues•00 pull requests•Updated Apr 21, 2023Apr 21, 2023

• lib-musl

  Public
  Port of musl libC

  Shell

  •

  Other

  •3838 forks•22 stars•00 issues•00 pull requests•Updated Dec 21, 2022Dec 21, 2022

• lib-coqoshv-smevent

  Public
  COQOS Hypervisor State Manager Event Library

  C

  •

  Other

  •11 fork•44 stars•00 issues•00 pull requests•Updated Oct 12, 2022Oct 12, 2022

• android-kernel-common

  Public
  C

  •

  Other

  •44 forks•88 stars•00 issues•00 pull requests•Updated Dec 23, 2021Dec 23, 2021

• android-kernel-common-modules-virtual-device

  Public
  C

  •44 forks•77 stars•00 issues•00 pull requests•Updated Oct 27, 2021Oct 27, 2021

• pysar

  Public
  PySAR: a Model-Driven Engineering Framework in Python

  Python

  •

  BSD 2-Clause "Simplified" License

  •44 forks•1010 stars•00 issues•00 pull requests•Updated Mar 5, 2018Mar 5, 2018