qemu-arm-static in a docker container to run apps compiled for ARM on x86
☆64Apr 13, 2022Updated 4 years ago
Alternatives and similar repositories for dockerfile-qemu-arm-chroot
Users that are interested in dockerfile-qemu-arm-chroot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- An ARM base image that includes the modified QEMU from https://github.com/resin-io/qemu/commits/qemu-execve☆100Dec 13, 2018Updated 7 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- HardCaml example designs☆18Jun 13, 2018Updated 8 years ago
- ☆25Aug 30, 2018Updated 7 years ago
- Compute order statistics☆15Sep 16, 2023Updated 2 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Nov 25, 2020Updated 5 years ago
- A v4l2 kernel driver for the smi2021 video capture chips☆26Jul 25, 2015Updated 10 years ago
- ☆35May 3, 2026Updated 2 months ago
- An interface to communicate with QEMU instances via QMP☆16Jul 21, 2023Updated 2 years ago
- Bare-bones base CentOS image for Docker☆35Jun 25, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Create wifi access points on the go (karma-like), simulate internet connectivity, gather whatever is sent ;)☆11Aug 7, 2025Updated 11 months ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 8 years ago
- A versioning file store backed by git, darcs, or mercurial☆37Aug 26, 2025Updated 10 months ago
- A fork (and mirror) of the Buffer Overflow Module created by NSF Award No. 0113627☆11Feb 11, 2017Updated 9 years ago
- Personal pwning toolset developed/used by myself. Use at your own risk.☆18Sep 26, 2022Updated 3 years ago
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Hack for hiding pointer in Wayland for when your using it as a kiosk☆10Aug 12, 2019Updated 6 years ago
- QEMU with additional QEMU_EXECVE flag that persists emulator after an execve☆65Sep 13, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Docker image for the mitmproxy web interface mitmweb☆11Dec 26, 2016Updated 9 years ago
- Powershell script to set IP addresses in Windows and Linux for Xming and WSL2 to work with WSL2's dynamic IP address☆17Jul 25, 2020Updated 5 years ago
- DEPRICATED☆32May 21, 2018Updated 8 years ago
- Sir, is a tcp proxy that checks for regressions in your services/apps.☆12Mar 20, 2024Updated 2 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- ☆19Jan 24, 2016Updated 10 years ago
- Libva backend for the sunxi-cedrus v4l2 m2m driver. Upstream moved to https://github.com/free-electrons/cedrus☆10Aug 29, 2016Updated 9 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Whatever apt group's js from their scanbox framework☆11Jun 22, 2016Updated 10 years ago
- Capture-The-Flag(CTF) toolkit☆11Jan 8, 2015Updated 11 years ago
- Ergonomic trie data structure☆28Oct 30, 2018Updated 7 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- Simple Tahoe LAFS storage node☆12Jul 11, 2015Updated 10 years ago
- Functional, Persistent Data Structures in Rust☆51Nov 21, 2014Updated 11 years ago