Pinned Repositories
auxon-sdk
bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
cargo-5730
A workaround for rust-lang/cargo#5730
clj-cucumber
A more idiomatic binding of JVM cucumber to Clojure
ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
ferros-spec
A repository containing specifications and proofs about Ferros.
fixed-slice-vec
Vec with dynamic length and runtime-determined capacity backed by a slice. no_std , no-allocator friendly.
modality-probe
A distributed causal tracing probe suitable for embedded systems.
selfe-sys
A generated thin wrapper around libsel4.a, with supporting subcrates.
tnfilt
Auxon Corporation's Repositories
auxoncorp/auxon-sdk
auxoncorp/babeltrace2-sys
auxoncorp/freertos-linux-gazebo-demo
auxoncorp/aerostack2-with-modality
A docker environment for running aersostack2 in simulation, for the purpose of demonstrating Modality/ROS2 integration.
auxoncorp/aerostack2_project_gazebo
auxoncorp/barectf-platform-pktring
An in-memory CTF packet ring buffer barectf platform implementation
auxoncorp/cortex-m-rtic
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
auxoncorp/defmt
Efficient, deferred formatting for logging on embedded systems
auxoncorp/dlt-core
DLT parsing & writing library
auxoncorp/hidapi-rs
Rust bindings for the hidapi C library
auxoncorp/linux-system-probe
auxoncorp/modality-can-plugin
auxoncorp/modality-ctf-plugins
A Modality reflector plugin suite and ingest adapter library for CTF data
auxoncorp/modality-defmt-plugins
A Modality reflector plugin suite for defmt data
auxoncorp/modality-dlt-plugin
A Modality reflector plugin suite for AUTOSAR DLT (Diagonstic Log and Trace)
auxoncorp/modality-gazebo
auxoncorp/modality-json-plugins
auxoncorp/modality-robot-framework
auxoncorp/modality-ros2
Observability (Modality) and Mutation (Deviant) support for ROS 2
auxoncorp/modality-trace-recorder-plugin
A Modality reflector plugin suite and ingest adapter library for Percepio's TraceRecorder data
auxoncorp/modality-tracing-rs
auxoncorp/probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
auxoncorp/renode
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
auxoncorp/renode-auxon-plugin
auxoncorp/renode-custom-docker
auxoncorp/renode-infrastructure
auxoncorp/satellite-sim
A simulated satellite constellation data generation and testbed system
auxoncorp/speqtr-support
Support for working with speqtr in various editors
auxoncorp/statrs
Statistical computation library for Rust
auxoncorp/trace-recorder-parser
A Rust library to parse Percepio's TraceRecorder data