Owner

DLR-FT

12 indexed repositories · View on GitHub

wasm-interpreter
A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies

Rust · 82 stars
seL4-nix-utils
Nix tooling for the seL4 microkernel & ecosystem

Nix · 21 stars
ModelBasedSTPA

13 stars
xilinx-nix-utils
A flake which hopefully proves useful for fellow Xilinx users

Nix · 13 stars
a653rs
Arinc653 abstraction library for hypervisor independent partition programming

Rust · 12 stars
a653rs-linux

Rust · 11 stars
a653rs-router
ARINC 653 message router based on a653rs

Rust · 3 stars
arinc653-wasm

Rust · 3 stars
sel4-rs

Rust · 2 stars
ASDB-scheduler

Python · 2 stars
coua
Tool for automated compliance checks in CI

Python · 1 star
sysml-v2-sql

Rust · 0 stars

Open All

104 open issues indexed

allow injection of CMake flags through environment variable for `sel4-sys` Open

DLR-FT/sel4-rs#1 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
autodetect toolchain prefix using priority lists Open

DLR-FT/sel4-rs#2 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
document how to generate single file deliverable Open

DLR-FT/sel4-rs#7 · 5 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
feat: replace serde-yaml Open

DLR-FT/a653rs-router#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
feat: find some different mechanism for generic router ports Open

DLR-FT/a653rs-router#8 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
conform complains about empty commit body in release commits created by `cargo-release` Open

DLR-FT/sysml-v2-sql#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
branch crawler does not paginate Open

bug

DLR-FT/sysml-v2-sql#8 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Same Project IDs in Library and Example Project Open

DLR-FT/ModelBasedSTPA#1 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
`usize` for size types Open

enhancement

DLR-FT/a653rs#4 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Types missing const generic Open

enhancement

DLR-FT/a653rs#5 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Give shim implementor ability to specify action after changing to normal mode Open

enhancement

DLR-FT/a653rs#10 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add integration tests Open

DLR-FT/a653rs#15 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Attach Hypervisor dependent Constants to Traits Open

enhancement

DLR-FT/a653rs#17 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Expose size of ports via `const fn` or associated constants Open

enhancement

DLR-FT/a653rs#18 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
expose names as const fn on the context types Open

DLR-FT/a653rs#24 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
add catch-all create methods for all sampling ports, alls queuing ports and all {a,}periodic processes Open

DLR-FT/a653rs#25 · 4 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Consider using Ghost for PhantomData Open

enhancement

DLR-FT/a653rs#28 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
implement plymorphic property testing with an existing interpreter Open

DLR-FT/wasm-interpreter#9 · 3 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Potential Float Alteration on Some Architectures Open

bug priority-low

DLR-FT/wasm-interpreter#28 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
pinpoint the Rust version in the flake to the blessed one from the requirements Open

enhancement

DLR-FT/wasm-interpreter#95 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
const validation - nonconst validation and const interpreter - nonconst interpreter loop code should be completely uncoupled Open

DLR-FT/wasm-interpreter#111 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Refactor validation stack methods to match with psuedocode given in spec Open

DLR-FT/wasm-interpreter#114 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
decide on whether we tolerate macros in the code Open

help wanted

DLR-FT/wasm-interpreter#138 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
add handbrake via AtomicBool Open

enhancement execution good first issue priority-low

DLR-FT/wasm-interpreter#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
implement clone for the `LinearMemory` Open

enhancement execution good first issue priority-low

DLR-FT/wasm-interpreter#152 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
New ExecutionInfo struct for grouping execution-related information Open

enhancement

DLR-FT/wasm-interpreter#156 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Emit `SYSTEM_LIMIT_*` as immutable globals Open

DLR-FT/arinc653-wasm#20 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
proc_alloc code should respect configurable stack sizes Open

DLR-FT/arinc653-wasm#28 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Migrate off of WASI on to a freestanding libc Open

DLR-FT/arinc653-wasm#32 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Design guidelines RFC Open

documentation help wanted priority-low

DLR-FT/wasm-interpreter#158 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Provide (de)serialization interface for the interpreter state Open

DLR-FT/wasm-interpreter#203 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Implement benchmarking bed for temporal performance Open

DLR-FT/wasm-interpreter#204 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Implement benchmarking for memory consumption on stack/heap Open

DLR-FT/wasm-interpreter#205 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Implement benchmarking to measure allocation frequency Open

DLR-FT/wasm-interpreter#206 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add Big-Endian Compatibility Test Open

DLR-FT/wasm-interpreter#207 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Static type checking during get_function instead of invocation Open

DLR-FT/wasm-interpreter#218 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add Benchmark for Vector Instructions Open

DLR-FT/wasm-interpreter#247 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Generic Scheme for References into the Specification Open

DLR-FT/wasm-interpreter#248 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Make sure that we currently aim for compliance with the Wasm specification 2.0 Open

DLR-FT/wasm-interpreter#252 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
gradually add more strict clippy lints Open

DLR-FT/wasm-interpreter#255 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
track size of the interpreter executable Open

DLR-FT/wasm-interpreter#262 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Attach Spans to Validation Errors Open

DLR-FT/wasm-interpreter#269 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Enfore stack size limits on allocation capacity, not only element counts Open

bug execution good first issue

DLR-FT/wasm-interpreter#276 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Requirement Tracing for Wasm Specification Open

documentation priority-high

DLR-FT/wasm-interpreter#279 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Security concern: CI could leak github secrets Open

bug help wanted priority-high workflows

DLR-FT/wasm-interpreter#297 · 1 comment · 2 reactions · 3 assignees · Indexed Sep 15, 2026
Support For 16-bit Targets Open

enhancement priority-low

DLR-FT/wasm-interpreter#313 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add C Bindings Open

enhancement priority-medium

DLR-FT/wasm-interpreter#317 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Tracking Issue for Threads Proposal Open

enhancement

DLR-FT/wasm-interpreter#322 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Remove uses of dynamic memory allocations Open

core enhancement no-alloc

DLR-FT/wasm-interpreter#333 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use Correct Comparison Method for Error Messages In Spectest Runner Open

DLR-FT/wasm-interpreter#337 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

DLR-FT

Get new issues in your inbox