auxoncorp Goto Github PK
Name: Auxon Corporation
Type: Organization
Bio: Critical Insights for Critical Systems
Twitter: auxoncorp
Location: Portland, OR
Blog: https://www.auxon.io
Name: Auxon Corporation
Type: Organization
Bio: Critical Insights for Critical Systems
Twitter: auxoncorp
Location: Portland, OR
Blog: https://www.auxon.io
Simulation for spacecraft attitude control system analysis and design
A docker environment for running aersostack2 in simulation, for the purpose of demonstrating Modality/ROS2 integration.
Library for snippet annotations
Generator of ANSI C tracers which output CTF data streams
An in-memory CTF packet ring buffer barectf platform implementation
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
Official reference C / C++ library for the v2 protocol
A workaround for rust-lang/cargo#5730
A more idiomatic binding of JVM cucumber to Clojure
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
Relays CTF packets from a serial device or socket to one or more LTTng relayd sessions
Fork of https://crates.io/crates/cucumber because they've removed features we need.
Efficient, deferred formatting for logging on embedded systems
DLT parsing & writing library
A Rust-based userland which also adds compile-time assurances to seL4 development.
Test-runner support libraries for ferros.
A repository containing specifications and proofs about Ferros.
Vec with dynamic length and runtime-determined capacity backed by a slice. no_std , no-allocator friendly.
A fork of forceatlas2 that is cut down in features to be accessible on stable rust
FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
Github action that uploads files to Google Drive
Generic array types in Rust
Pure Rust implementation of Gherkin language (`.feature` file) for Cucumber testing framework.
Keep it simple, stupid 3d graphics engine for Rust.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.