Pinned Loading
Repositories
Showing 10 of 26 repositories
- wasm-interpreter Public
A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
DLR-FT/wasm-interpreter’s past year of commit activity - arinc653-wasm Public
DLR-FT/arinc653-wasm’s past year of commit activity - sysml-v2-sql Public
DLR-FT/sysml-v2-sql’s past year of commit activity - SysMLv2LibrarySTPA Public
DLR-FT/SysMLv2LibrarySTPA’s past year of commit activity - TBT-Segmentation Public
This tool allows to segment a trace of events using a temporal behavior tree specification
DLR-FT/TBT-Segmentation’s past year of commit activity - a653rs-linux Public
DLR-FT/a653rs-linux’s past year of commit activity - ModelBasedSTPA Public
DLR-FT/ModelBasedSTPA’s past year of commit activity - wasm-interpreter-review-table-dasc-2025 Public
Code for generating interpreter review table in the paper On the Design of a WebAssembly Interpreter for Safety Critical Avionics Applications (DASC 2025)
DLR-FT/wasm-interpreter-review-table-dasc-2025’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…