Alternatives and similar repositories for manifest

Users that are interested in manifest are comparing it to the libraries listed below

• kernkonzept / uvmm

  View on GitHub
  Virtual machine monitor for L4Re
  ☆34Updated this week
• kernkonzept / fiasco

  View on GitHub
  The development version of the L4Re Microkernel
  ☆157Updated this week
• kernkonzept / l4re-core

  View on GitHub
  The core components of the L4Re operating system.
  ☆101Updated this week
• nxp-auto-linux / pfeng

  View on GitHub
  PFE Ethernet accelerator
  ☆13Nov 27, 2025Updated 2 months ago
• BabbleSim / base

  View on GitHub
  BabbleSim base/common components. Any BabbleSim user will want some of these.
  ☆17Nov 11, 2025Updated 3 months ago
• kungliet / okl4

  View on GitHub
  okl4 git for porting to realview_eb RTSM platform
  ☆15Oct 17, 2012Updated 13 years ago
• zenny-chen / C11-atomic-operations-in-detail

  View on GitHub
  C11标准的原子操作详解
  ☆28Oct 8, 2022Updated 3 years ago
• josecm / rocket-chip

  View on GitHub
  Rocket Chip Generator
  ☆13Jul 31, 2021Updated 4 years ago
• stephbu / teslaiotkey

  View on GitHub
  Tesla IOT Key
  ☆11Dec 5, 2018Updated 7 years ago
• edgarigl / qemu-etrace

  View on GitHub
  Qemu Etrace
  ☆15May 21, 2024Updated last year
• SEL4PROJ / AOS-manifest

  View on GitHub
  Advanced Operating Systems project manifest
  ☆14Sep 6, 2025Updated 5 months ago
• nxp-auto-linux / auto_yocto_bsp

  View on GitHub
  Automotive Linux BSP for NXP S32 Release Yocto Project manifests
  ☆41Nov 27, 2025Updated 2 months ago
• seL4 / docs

  View on GitHub
  This is the source of the seL4 docs.
  ☆18Updated this week
• kernkonzept / libfdt

  View on GitHub
  The device tree library
  ☆20Updated this week
• lixiaolia / vsomeip-qnx

  View on GitHub
  Porting vsomeip 3.1.20 on QNX 7.0
  ☆26Jul 27, 2021Updated 4 years ago
• kesl / khypervisor

  View on GitHub
  ☆29Feb 28, 2016Updated 9 years ago
• cslarsen / libunwind-examples

  View on GitHub
  A few libunwind examples
  ☆30Jun 27, 2021Updated 4 years ago
• xianjimli / sysprog-code

  View on GitHub
  拙著《系统程序员成长计划》的示例代码。
  ☆33Sep 14, 2023Updated 2 years ago
• ReFirmLabs / qnx6-extractor

  View on GitHub
  extractor for QNX6 filesystem format.
  ☆33Nov 22, 2023Updated 2 years ago
• PaymonTeam / paymoncoin

  View on GitHub
  DAG-based blockchain
  ☆10Apr 20, 2019Updated 6 years ago
• brunoldsilva / rsomeip

  View on GitHub
  A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).
  ☆13Dec 17, 2025Updated 2 months ago
• themittenmac / threat-hunting-macos-book

  View on GitHub
  A companion Github repo for the book - Threat Hunting macOS by Jaron Bradley
  ☆17Jul 26, 2025Updated 6 months ago
• obdresource / OBDResource-Diagnostic-tool-Shop

  View on GitHub
  BDResource Technology Co.,Ltd, engaged in making auto electrical diagnostic tools, such as X431,GM tech2,TMS374,Star 2000 Diagnostic Syst…
  ☆15Oct 18, 2012Updated 13 years ago
• MeGotsThis / Hanabi-AI

  View on GitHub
  This is a hanabi AI bot that can play on http://keldon.net/hanabi/
  ☆11May 29, 2017Updated 8 years ago
• nxp-auto-linux / u-boot

  View on GitHub
  Automotive S32 U-Boot
  ☆11Nov 27, 2025Updated 2 months ago
• monthadar / FreeBSD-IEEE80211s-simulator

  View on GitHub
  Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.
  ☆11Dec 13, 2011Updated 14 years ago
• loganchien / opencl-examples

  View on GitHub
  ☆13Jan 17, 2022Updated 4 years ago
• OSSystemsEmbeddedLinux / ye

  View on GitHub
  Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…
  ☆10Feb 23, 2022Updated 3 years ago
• keygenqt / skill-qemu-alpine

  View on GitHub
  Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64
  ☆15May 5, 2025Updated 9 months ago
• StuartUSA / shairport_plugin

  View on GitHub
  ShairPort Plugin for Squeezebox Server
  ☆18May 30, 2020Updated 5 years ago
• rianvdm / lastfm-mcp

  View on GitHub
  An MCP server that provides seamless access to a user's Last.fm listening data and music information via AI assistants like Claude.
  ☆23Jan 24, 2026Updated 3 weeks ago
• elehcimd / hmm_filter

  View on GitHub
  hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)
  ☆12Jan 23, 2019Updated 7 years ago
• sandtron / auto-ligaturizer

  View on GitHub
  Adding programming ligatures to any font
  ☆12Dec 11, 2024Updated last year
• Linaro / uadk

  View on GitHub
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆53Updated this week
• rmind / ttimer

  View on GitHub
  Tick-based timer (hierarchical timing wheel algorithm)
  ☆44Dec 15, 2019Updated 6 years ago
• Dongkesi-2019 / Functional-Safety-Notes

  View on GitHub
  基于Xilinx平台的功能安全笔记
  ☆50Aug 2, 2019Updated 6 years ago
• MicrochipTech / classb_mcu32

  View on GitHub
  Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32
  ☆13Jan 4, 2016Updated 10 years ago
• philogicae / torrent-search-mcp

  View on GitHub
  Python API & MCP server to find torrents programmatically
  ☆20Feb 5, 2026Updated last week
• m-laniakea / oserial

  View on GitHub
  OCaml Serial Module
  ☆11Oct 5, 2024Updated last year