aogrcs Goto Github PK

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

av3-fc

Event driven flight computer for rockets. Flown on L-10 and L-11.

awesome-coq

A curated list of awesome Coq frameworks, libraries and software.

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

awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.

awesome-matlab

A curated list of awesome Matlab frameworks, libraries and software.

azure-blockchain-projects

Home of blockchain and distributed ledger projects like Azure Blockchain as a Service DevTest labs artifacts.

batch-informed-trees

A fork of The Open Motion Planning Library (OMPL) to include Batch Informed Trees (BIT*)

baxter_rrt

Abandoned work with RRT motion planning for the Baxter Robot

cafe

A prototype of model-checker

car_demo

carnd-mpc-project

CarND Term 2 Model Predictive Control (MPC) Project

cartographer_ros

Provides ROS integration for Cartographer.

certyflie

cfe

cfe-beagleboard

Clone of NASA open-source flight executive cFE

cfe-rpi

port NASA cFE for Raspberry Pi 3B+

cfe-uav

cfs

NASA Core Flight System with ARM support, including all (open-source) apps and OS Abstraction Layer.

cfs-cosmos

Communicate Core Flight System (CFS) to Cosmos Aeroball Space

cfs_ardrone

Open source code for my summer 2017 NASA Internship

cfs_freertos_sel4

port FreeRTOS and seL4 for NASA cFE and OSAL

cherry-autonomous-racecar

Implementation of the CNN from End to End Learning for Self-Driving Cars on a Nvidia Jetson TX1 using Tensorflow and ROS

chronos-multicore

Multicore version of the CHRONOS timing analyzer