pydrofoil
A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
Science Score: 67.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 2 DOI reference(s) in README -
✓Academic publication links
Links to: arxiv.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (13.3%) to scientific vocabulary
Keywords
Repository
A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
Basic Info
- Host: GitHub
- Owner: pydrofoil
- License: mit
- Language: C
- Default Branch: main
- Homepage: https://docs.pydrofoil.org/
- Size: 48.7 MB
Statistics
- Stars: 79
- Watchers: 8
- Forks: 10
- Open Issues: 18
- Releases: 1
Topics
Metadata Files
README.md
Fast Sail emulation using PyPy/RPython's JIT compiler
This repository contains Pydrofoil, an experimental emulator for various instruction set architectures. The best tested one is a RISC-V emulator based on the Sail RISC-V ISA model. It achieves fast performance by doing dynamic binary translation (aka just-in-time compilation) from RISC-V guest instructions into host machine instructions. It's built on top of the RPython meta-jit compiler and reuses all its optimizations, backends, etc. The emulator is complete enough to boot (an old version of) Linux up to the login prompt.
It also contains an even more experimental emulator for Aarch64 version 9.4, based on the Sail ARM ISA model, which is itself automatically generated from the ASL code that ARM provides. Booting Linux on that emulator is possible, at least up to the point where the init process starts.
The most recent ISA that is experimentally supported is CHERIoT, a variant of the 32-bit CHERI-RISC-V ISA aimed at supporting secure IoT devices.
See https://docs.pydrofoil.org for the complete documentation. To read a more thorough description of how the project works, please refer to our preprint.
If you want to cite this work, please use the following bibtex snippet:
Owner
- Name: pydrofoil
- Login: pydrofoil
- Kind: organization
- Repositories: 1
- Profile: https://github.com/pydrofoil
Citation (CITATION.cff)
cff-version: 1.2.0
message: "If you use this work, please cite it using the metadata below."
title: "Pydrofoil: Accelerating Sail-Based Instruction Set Simulators"
authors:
- family-names: Bolz-Tereick
given-names: CF
- family-names: Panayi
given-names: Luke
- family-names: McKeogh
given-names: Ferdia
- family-names: Spink
given-names: Tom
- family-names: Berger
given-names: Martin
date-released: 2025-06-25
conference:
name: "39th European Conference on Object-Oriented Programming (ECOOP 2025)"
place: Dagstuhl, Germany
editors:
- family-names: Aldrich
given-names: Jonathan
- family-names: Silva
given-names: Alexandra
proceedings-title: "Leibniz International Proceedings in Informatics (LIPIcs)"
volume: 333
pages: "3:1-3:31"
doi: 10.4230/LIPIcs.ECOOP.2025.3
url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.3
isbn: "978-3-95977-373-7"
issn: "1868-8969"
publisher: "Schloss Dagstuhl -- Leibniz-Zentrum für Informatik"
keywords:
- Instruction set architecture
- Processor
- Domain-specific language
- Just-in-time compilation
- Meta-tracing
GitHub Events
Total
- Create event: 31
- Release event: 1
- Issues event: 5
- Watch event: 27
- Delete event: 2
- Member event: 3
- Issue comment event: 28
- Push event: 179
- Pull request event: 46
- Fork event: 4
Last Year
- Create event: 31
- Release event: 1
- Issues event: 5
- Watch event: 27
- Delete event: 2
- Member event: 3
- Issue comment event: 28
- Push event: 179
- Pull request event: 46
- Fork event: 4
Issues and Pull Requests
Last synced: 4 months ago
All Time
- Total issues: 4
- Total pull requests: 46
- Average time to close issues: about 5 hours
- Average time to close pull requests: 7 days
- Total issue authors: 2
- Total pull request authors: 8
- Average comments per issue: 0.25
- Average comments per pull request: 0.8
- Merged pull requests: 34
- Bot issues: 0
- Bot pull requests: 2
Past Year
- Issues: 3
- Pull requests: 31
- Average time to close issues: about 4 hours
- Average time to close pull requests: about 16 hours
- Issue authors: 1
- Pull request authors: 5
- Average comments per issue: 0.33
- Average comments per pull request: 0.68
- Merged pull requests: 22
- Bot issues: 0
- Bot pull requests: 1
Top Authors
Issue Authors
- cfbolz (3)
- jevinskie (1)
Pull Request Authors
- cfbolz (37)
- cclauss (2)
- dependabot[bot] (2)
- SimonRomanowski (1)
- mattip (1)
- definfo (1)
- naseweisssss (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- actions/checkout v3 composite
- actions/checkout v3 composite
- actions/setup-python v4 composite
- actions/upload-artifact v3 composite
- EnricoMi/publish-unit-test-result-action v2 composite
- actions/github-script v3.1.0 composite
- furo *
- myst-parser *
- sphinx *
- sphinx-copybutton *
- actions/cache/restore v3 composite
- actions/cache/save v3 composite
- actions/checkout v3 composite
- actions/setup-python v4 composite