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
- A transducer library for Rust☆10May 22, 2016Updated 10 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 12 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Development box for using qemu-arm-aarch64☆13Jul 4, 2016Updated 10 years ago
- A free monad interface to the canvas☆13Apr 24, 2017Updated 9 years ago
- ☆25Aug 30, 2018Updated 8 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆24Nov 25, 2020Updated 5 years ago
- Create wifi access points on the go (karma-like), simulate internet connectivity, gather whatever is sent ;)☆11Aug 7, 2025Updated last year
- Raspberry Pi Utilities☆36Jan 20, 2013Updated 13 years ago
- Public test data for ranked choice voting election software☆18Jan 12, 2015Updated 11 years ago
- A versioning file store backed by git, darcs, or mercurial☆37Aug 26, 2025Updated last year
- 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.
- Personal pwning toolset developed/used by myself. Use at your own risk.☆18Sep 26, 2022Updated 3 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- QEMU with additional QEMU_EXECVE flag that persists emulator after an execve☆65Sep 13, 2024Updated last year
- Digispeaker☆24Nov 12, 2020Updated 5 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Build scripts that produce ARM binaries of nodejs☆17Updated this week
- Packer scripts for creating Libvirt/KVM boxes for Vagrant.☆12Dec 23, 2016Updated 9 years ago
- Central repo for carina related bugs including the control panel and product.☆16Nov 9, 2015Updated 10 years ago
- Docker image for the mitmproxy web interface mitmweb☆11Dec 26, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- command line tools using the node-google-play library☆74Apr 12, 2018Updated 8 years ago
- Local development server for now alias [domain] -r rules.json☆16Jan 2, 2018Updated 8 years ago
- ☆19Jan 24, 2016Updated 10 years ago
- Raspberry pi QEMU☆40Oct 30, 2015Updated 10 years ago
- A free standalone software that enables end-users to detect country, region, city, latitude, longitude, ZIP code, ISP, domain name, timez…☆14Dec 31, 2025Updated 8 months ago
- 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
- This is a simple Telegram bot that allows you to send a YouTube link, and the bot will convert the video to MP3 and send it back to you.☆15Aug 3, 2023Updated 3 years ago
- library to scan files and folders for annotated classes using doctrine annotations☆14Jun 26, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- Ergonomic trie data structure☆28Oct 30, 2018Updated 7 years ago
- supported devices: Xperia ARC, PLAY, X10; HTC Flyer, JetStream☆17Jan 31, 2012Updated 14 years ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 10 months ago
- ☆18Feb 26, 2018Updated 8 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 11 years ago