Auxon Corporation

ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

bounded-registers

Using Type-Level Programming in Rust to Make Safer Hardware Abstractions

tnfilt

clj-cucumber

A more idiomatic binding of JVM cucumber to Clojure

selfe-sys

A generated thin wrapper around libsel4.a, with supporting subcrates.

modality-probe

A distributed causal tracing probe suitable for embedded systems.

fixed-slice-vec

Vec with dynamic length and runtime-determined capacity backed by a slice. no_std , no-allocator friendly.

stunnel-runner

kolmogorov_smirnov

Implementation of the Kolmogorov-Smirnov statistical test as a Rust library.

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

42

Simulation for spacecraft attitude control system analysis and design

annotate-snippets-rs

Library for snippet annotations

barectf

Generator of ANSI C tracers which output CTF data streams

bluerov-auxon

conductor

ctf-packet-relay

Relays CTF packets from a serial device or socket to one or more LTTng relayd sessions

cucumber-rust

Fork of https://crates.io/crates/cucumber because they've removed features we need.

FreeRTOS-Plus-TCP

FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

gherkin

Pure Rust implementation of Gherkin language (`.feature` file) for Cucumber testing framework.

kiss3d

Keep it simple, stupid 3d graphics engine for Rust.

mavros

MAVLink to ROS gateway with proxy for Ground Control Station

modality-freertos

modality-otel-receiver

modality-zephyr

ncollide

2 and 3-dimensional collision detection library in Rust.

PX4-Autopilot

PX4 Autopilot Software

PX4-SITL_gazebo

Set of plugins, models and worlds to use with OSRF Gazebo Simulator in SITL and HITL.

rowan

seL4_tools-ferros

Basic tools for building seL4 projects

util_libs-ferros