aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Pinned Repositories
acsl
Sources for the ANSI/ISO C Specification Language manual
AlphaPose
apollo
An open autonomous driving platform
ardupilot
ArduPlane, ArduCopter, ArduRover source
astrobee
NASA Astrobee Robot Software
autobots
Autonomous Robots Project
cFS_FreeRTOS_seL4
port FreeRTOS and seL4 for NASA cFE and OSAL
qnx-opensource
TFTPathPlanner
Velocity Based Motion Profile Path Generation
Wenlong-Autonomous-Vehicle
Platform for Autonomous Vehicle based on Control System, Formal Verification, Tensorflow and ROS
aogrcs's Repositories
aogrcs/cFS_FreeRTOS_seL4
port FreeRTOS and seL4 for NASA cFE and OSAL
aogrcs/qnx-opensource
aogrcs/acsl
Sources for the ANSI/ISO C Specification Language manual
aogrcs/AlphaPose
aogrcs/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
aogrcs/awesome-deep-learning-papers
The most cited deep learning papers
aogrcs/CaFE
A prototype of model-checker
aogrcs/cFE-RPI
port NASA cFE for Raspberry Pi 3B+
aogrcs/cFE-UAV
aogrcs/cocomodel
simulink model for small drone, maybe using fret, cocosim, ikos and frama-c to build a controller
aogrcs/crazyflie-firmware
The main firmware for the Crazyflie Nano Quadcopter.
aogrcs/cubedos
A flight software framework in SPARK/Ada
aogrcs/deepcover
DeepCover: Uncover Bugs in Deep Learning
aogrcs/DriverFramework
Operating system and flight stack agnostic driver framework for POSIX (Linux, NuttX, Mac OS, QNX, VxWorks).
aogrcs/fast-style-transfer
TensorFlow CNN for fast style transfer! ⚡🖥🎨🖼
aogrcs/haskell
Haskell bindings for TensorFlow
aogrcs/icarous
Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems
aogrcs/imgaug
Image augmentation for machine learning experiments.
aogrcs/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
aogrcs/learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.
aogrcs/libmodbus-framac
using frama-c to analysis libmodebus
aogrcs/models
Models and examples built with TensorFlow
aogrcs/oscc
Open Source Car Control 💻🚗🙌
aogrcs/panda
Platform for Architecture-Neutral Dynamic Analysis
aogrcs/PUMA500_QNX_Hack-in
Project description: http://www-users.cs.umn.edu/~martin/PUMA/
aogrcs/pyinstrument
🚴 Call stack profiler for Python. Shows you why your code is slow!
aogrcs/raspberry-3b-sel4
aogrcs/spatial-lang
Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"
aogrcs/titan
Drake, Atlas Drivers, and State Estimation
aogrcs/WellClear
Well-Clear Boundary Models for Integration of UAS in the NAS