Auxon Corporation's repositories
bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
clj-cucumber
A more idiomatic binding of JVM cucumber to Clojure
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.
kolmogorov_smirnov
Implementation of the Kolmogorov-Smirnov statistical test as a Rust library.
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
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
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.
seL4_tools-ferros
Basic tools for building seL4 projects