Projects by Denis Yermakou

AxonOS kernel Denis Yermakou (2 projects)

The kernel-side foundation of AxonOS: seven Rust crates that compose into the real-time scheduling, capability isolation, time, inter-process communication and wire-format layer a brain-computer in...

Apache-2.0 +1 rust, embedded, real-time, microkernel, brain-computer-interface, formal-verification, no-std, neurotechnology
dy-wcet Denis Yermakou (2 projects)

Worst-case response time for a fixed-priority task set, with release jitter, blocking and optimal priority assignment, computed in exact integer arithmetic that refuses rather than rounds. No float...

Apache-2.0 +1 rust, embedded, real-time, schedulability, timing-analysis, formal-verification, no-std

Sun, 11 Oct 2026 07:07:08 UTC

There was a problem with this listing's funding.json manifest. If it is not fixed, the listing will be removed from the portal.

Crawl error

error: https://github.com/AxonOS-org/axonos-kernel/blob/main/funding.json?raw=true returned 429

Denis Yermakou