Alternatives and similar repositories for qemu-insides

Users that are interested in qemu-insides are comparing it to the libraries listed below

• volodeyka / trust-coq

  View on GitHub
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Nov 16, 2021Updated 4 years ago
• saschagrunert / fosdem20

  View on GitHub
  Demo material used for the Podman talk at FOSDEM 2020
  ☆20Feb 2, 2020Updated 6 years ago
• Alwinator / thesis-template

  View on GitHub
  An Asciidoctor template for an Austrian HTL thesis with features such as Local Docker Builds, Remote Builds, matplotlib and graphviz-py d…
  ☆11Sep 25, 2022Updated 3 years ago
• hebench / reference-seal-backend

  View on GitHub
  The SEAL-CPU backend is a Reference backend engine for HEBench which is a shared library that implements the required functions specified…
  ☆11Mar 3, 2023Updated 2 years ago
• test-summary / examples

  View on GitHub
  Examples for using the test-summary action to add test summaries in GitHub Actions CI/CD workflows
  ☆12Jan 21, 2024Updated 2 years ago
• LeoColman / SimpleProperties

  View on GitHub
  Simple to use Property Library that allows multiple profiles to be configured and used with ease. This mimics the behavior of profiles fr…
  ☆10Dec 15, 2023Updated 2 years ago
• spark-teams / jootainer

  View on GitHub
  jootainer = test-containers + flyway + jooq-codegen
  ☆11May 29, 2020Updated 5 years ago
• MetalChris / repository.matrix

  View on GitHub
  Repository for my Kodi Matrix add-ons
  ☆10Jan 30, 2026Updated 2 weeks ago
• nandland / ambient-light-sensor

  View on GitHub
  Go Board FPGA Project for Ambient Light Sensor in VHDL and Verilog
  ☆10Apr 20, 2019Updated 6 years ago
• redhat-developer / podman-desktop-demo

  View on GitHub
  quick demo scripts for podman desktop
  ☆12Updated this week
• php-fp / php-fp-combinators

  View on GitHub
  Functional combinators for PHP.
  ☆11Jun 3, 2017Updated 8 years ago
• stritzinger / braidnet

  View on GitHub
  Orchestrator managing Erlang containers and routing Erlang Distribution through itself.
  ☆13Dec 19, 2025Updated last month
• rust-console / gbatek-gbaonly

  View on GitHub
  GBATEK Markdown Fork, GBA only
  ☆11Oct 16, 2019Updated 6 years ago
• hazama-yuinyan / TSLisp

  View on GitHub
  A simple Lisp implementation written in TypeScript(earlier version)
  ☆10Jul 11, 2017Updated 8 years ago
• timwiel / libreoffice2git

  View on GitHub
  Bashscript to convert Libreoffice Documents to Git Friendly Format
  ☆14May 8, 2020Updated 5 years ago
• PerplexSystems / commandry

  View on GitHub
  A command-line parser for Standard ML
  ☆21Dec 29, 2025Updated last month
• jwiegley / scripts

  View on GitHub
  Various and sundry shell scripts used on my system
  ☆20Updated this week
• jitterbit / await-check-suites

  View on GitHub
  Wait for a commit's check suites to complete.
  ☆14Aug 30, 2023Updated 2 years ago
• mtth-bfft / captrace

  View on GitHub
  Lists capabilities used by processes on your system as they are requested, to assist in the task of creating custom hardened profiles for…
  ☆13Jul 24, 2025Updated 6 months ago
• spencercarli / react-native-bar-graph-animation-example

  View on GitHub
  ☆10Jan 4, 2017Updated 9 years ago
• porres / MERDA

  View on GitHub
  Modular EuroRacks Dancing Along
  ☆13Feb 29, 2024Updated last year
• danobi / vmtest-action

  View on GitHub
  Github Actions wrapper for vmtest
  ☆12Jan 10, 2025Updated last year
• jamct / panTexter

  View on GitHub
  Using pandoc to create dosuments
  ☆12Jul 9, 2018Updated 7 years ago
• bitPogo / kfixture

  View on GitHub
  A tool to generate randomized test values for Kotlin Multiplatform.
  ☆12Apr 4, 2024Updated last year
• webiwg / historia-web-pt

  View on GitHub
  Aqui você encontra textos sobre sobre a história da web de abrangência mundial e específicas do Brasil no idioma português, inclusive con…
  ☆11Oct 29, 2024Updated last year
• nahualito / NAOMI

  View on GitHub
  ☆11Jan 21, 2020Updated 6 years ago
• tpetricek / cv

  View on GitHub
  I can no longer cope with maintaining of up-to-date academic CVs in the billions of possible required formats. Procrastinating with this…
  ☆11Jan 15, 2026Updated last month
• alvinsj / android-https-downloadmanager-demo

  View on GitHub
  Demo for custom DownloadManager for HTTPS url download (It's a fix for Android 2.3.7 and lower) [enhanced from: http://android-er.blogspo…
  ☆32May 10, 2012Updated 13 years ago
• mor1 / mirage-tutorial

  View on GitHub
  MirageOS tutorial notebooks using IOCaml
  ☆16Nov 4, 2017Updated 8 years ago
• healeycodes / self-forge

  View on GitHub
  Self-host your GitHub repositories via a lightweight user interface.
  ☆12Jan 4, 2022Updated 4 years ago
• PlutusIt / PlutusDEX

  View on GitHub
  Plutus-DistributedEXchange. Smart contract
  ☆12Apr 2, 2018Updated 7 years ago
• apache / maven-studies

  View on GitHub
  Apache Maven Studies
  ☆13Oct 5, 2025Updated 4 months ago
• sgh / v4l2

  View on GitHub
  Video4Linux example application
  ☆13Nov 13, 2012Updated 13 years ago
• uwu / mingine

  View on GitHub
  A truly mini physics and game engine for the web
  ☆12Dec 12, 2025Updated 2 months ago
• ericmigi / pebble-qemu-wasm

  View on GitHub
  ☆57Updated this week
• applicative-systems / nxbd

  View on GitHub
  NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]
  ☆13Sep 18, 2025Updated 4 months ago
• higan-emu / bahamut-lagoon-translation-kit

  View on GitHub
  The source-code to Near's 2021 translation of Bahamut Lagoon
  ☆11Aug 22, 2021Updated 4 years ago
• billnapier / mp4file

  View on GitHub
  Library for rudimentary parsing of mp4 atoms, especially metadata atoms.
  ☆22Jan 2, 2010Updated 16 years ago
• csmart / custom-initramfs

  View on GitHub
  Script that uses static busybox to create an initramfs
  ☆11Apr 22, 2021Updated 4 years ago