auxoncorp Goto Github PK

42

Simulation for spacecraft attitude control system analysis and design

aerostack2-with-modality

A docker environment for running aersostack2 in simulation, for the purpose of demonstrating Modality/ROS2 integration.

aerostack2_project_gazebo

annotate-snippets-rs

Library for snippet annotations

auxon-sdk

babeltrace2-sys

barectf

Generator of ANSI C tracers which output CTF data streams

barectf-platform-pktring

An in-memory CTF packet ring buffer barectf platform implementation

bluerov-auxon

bounded-registers

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

c_library_v2

Official reference C / C++ library for the v2 protocol

cargo-5730

A workaround for rust-lang/cargo#5730

clj-cucumber

A more idiomatic binding of JVM cucumber to Clojure

conductor

cortex-m-rtic

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

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.

defmt

Efficient, deferred formatting for logging on embedded systems

dlt-core

DLT parsing & writing library

ferros

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

ferros-fancy-test

Test-runner support libraries for ferros.

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.

forceatlas2-minimal

A fork of forceatlas2 that is cut down in features to be accessible on stable rust

freertos-linux-gazebo-demo

freertos-plus-tcp

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

gdrive-upload-action

Github action that uploads files to Google Drive

generic-array

Generic array types in Rust

gherkin

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

kiss3d

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