Polysync Technologies

Get your code on the road™

Portland, Oregon

Pinned Repositories

cargo-culture
Automatic Rust project convention checks
Language:Rust17 7 42
cargo-fel4
A Cargo subcommand for working with feL4 projects.
Language:Rust52 12 2412
libsel4-sys
Building seL4 and generating Rust bindings based on feL4 configuration
Language:Rust20 8 109
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.
Language:Rust117 19 017
oscc
Open Source Car Control 💻🚗🙌
Language:C++965 121 116273
oscc-joystick-commander
Joystick Commander is an example application for OSCC
Language:C11 20 1123
polysync-core-c-examples
Example C Applications using PolySync Core APIs
Language:C17 18 08
polysync-core-cpp-examples
Example CPP Applications using PolySync Core APIs
Language:C++23 23 213
roscco
ROSCCO is a ROS node for OSCC
Language:C++22 8 622
static-analysis-argumentation
Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime.
Language:C11 5 34

Polysync Technologies's Repositories

PolySync/oscc
Open Source Car Control 💻🚗🙌
Language:C++965 121 116273
PolySync/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.
Language:Rust117 19 017
PolySync/cargo-fel4
A Cargo subcommand for working with feL4 projects.
Language:Rust52 12 2412
PolySync/polysync-core-cpp-examples
Example CPP Applications using PolySync Core APIs
Language:C++23 23 213
PolySync/roscco
ROSCCO is a ROS node for OSCC
Language:C++22 8 622
PolySync/libsel4-sys
Building seL4 and generating Rust bindings based on feL4 configuration
Language:Rust20 8 109
PolySync/cargo-culture
Automatic Rust project convention checks
Language:Rust17 7 42
PolySync/polysync-core-c-examples
Example C Applications using PolySync Core APIs
Language:C17 18 08
PolySync/oscc-joystick-commander
Joystick Commander is an example application for OSCC
Language:C11 20 1123
PolySync/static-analysis-argumentation
Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime.
Language:C11 5 34
PolySync/polysync-transcoder
Language:C++9 18 11
PolySync/rx
Rx is a simple embedded DSL for Markdown validation
6 7 11
PolySync/howser
Validation of markdown document conformance.
Language:Rust5 5 174
PolySync/oscc-check
Check that your vehicle and the installed OSCC are in a good state
Language:Python4 4 38
PolySync/fel4-config
Parsing, transformation and validation for feL4 configuration data
Language:Rust3 5 04
PolySync/kevlar-laces
A collection of custom git subcommands to help protect against foot-guns.
Language:Shell3 14 262
PolySync/apollo
An open autonomous driving platform
Language:C++2 3 0
PolySync/doogie
libcmark wrapper written in Rust
Language:Rust2 5 03
PolySync/git-rsl
Command line tool for secure git fetch and push
Language:Rust2 12 381
PolySync/core-python-api
An experimental PolySync Core Python 3 API.
Language:Python1 4 02
PolySync/nvsdk_getter
A tool for querying/downloading nvidia sdk packages
Language:Rust1 2 0
PolySync/polysync-deck
Create PDF & HTML presentations with markdown
Language:Shell1 9 01
PolySync/ubiquity
Installer
Language:Python1 8 0
PolySync/baton
Library and command line interface for Numato USB Relay modules .
4 0
PolySync/cmark
CommonMark parsing and rendering library and program in C
Language:C7 0
PolySync/config-rs
⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).
Language:Rust2 0
PolySync/linux-tegra-4.9
Linux kernel source for NVIDIA Tegra
Language:C2 0
PolySync/meta-tegra
BSP layer for Nvidia Tegra
Language:BitBake2 0
PolySync/rherkin
A extensible rust implementation of the gherkin (cucumber) test language
Language:Rust3 03
PolySync/socketcan-rs
Linux SocketCAN access in Rust
Language:Rust2 0