Pinned Repositories
cargo-culture
Automatic Rust project convention checks
cargo-fel4
A Cargo subcommand for working with feL4 projects.
libsel4-sys
Building seL4 and generating Rust bindings based on feL4 configuration
misra-rust
An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
oscc
Open Source Car Control 💻🚗🙌
oscc-joystick-commander
Joystick Commander is an example application for OSCC
polysync-core-c-examples
Example C Applications using PolySync Core APIs
polysync-core-cpp-examples
Example CPP Applications using PolySync Core APIs
roscco
ROSCCO is a ROS node for OSCC
static-analysis-argumentation
Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime.
Polysync Technologies's Repositories
PolySync/Autoware
Open-source software for urban autonomous driving
PolySync/canmatrix
Converting Can (Controller Area Network) Database Formats .arxml .dbc .dbf .kcd ...
PolySync/python-future
Easy, clean, reliable Python 2/3 compatibility