aogrcs

cFS_FreeRTOS_seL4

port FreeRTOS and seL4 for NASA cFE and OSAL

qnx-opensource

acsl

Sources for the ANSI/ISO C Specification Language manual

AlphaPose

awesome-cpp

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

awesome-deep-learning-papers

The most cited deep learning papers

CaFE

A prototype of model-checker

cFE-RPI

port NASA cFE for Raspberry Pi 3B+

cFE-UAV

cocomodel

simulink model for small drone, maybe using fret, cocosim, ikos and frama-c to build a controller

crazyflie-firmware

The main firmware for the Crazyflie Nano Quadcopter.

cubedos

A flight software framework in SPARK/Ada

deepcover

DeepCover: Uncover Bugs in Deep Learning

DriverFramework

Operating system and flight stack agnostic driver framework for POSIX (Linux, NuttX, Mac OS, QNX, VxWorks).

fast-style-transfer

TensorFlow CNN for fast style transfer! ⚡🖥🎨🖼

haskell

Haskell bindings for TensorFlow

icarous

Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems

imgaug

Image augmentation for machine learning experiments.

incubator-mxnet

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

learn-haskell-coq-ml-etc

Where I try code from Haskell (etc) books, articles, etc.

libmodbus-framac

using frama-c to analysis libmodebus

models

Models and examples built with TensorFlow

oscc

Open Source Car Control 💻🚗🙌

panda

Platform for Architecture-Neutral Dynamic Analysis

PUMA500_QNX_Hack-in

Project description: http://www-users.cs.umn.edu/~martin/PUMA/

pyinstrument

🚴 Call stack profiler for Python. Shows you why your code is slow!

raspberry-3b-sel4

spatial-lang

Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"

titan

Drake, Atlas Drivers, and State Estimation

WellClear

Well-Clear Boundary Models for Integration of UAS in the NAS