-
cocomodel Public
simulink model for small drone, maybe using fret, cocosim, ikos and frama-c to build a controller
UpdatedSep 3, 2020 -
-
-
crazyflie-firmware Public
Forked from bitcraze/crazyflie-firmwareThe main firmware for the Crazyflie Nano Quadcopter.
C GNU General Public License v3.0 UpdatedNov 21, 2018 -
-
-
libmodbus-framac Public
using frama-c to analysis libmodebus
C GNU Lesser General Public License v2.1 UpdatedSep 18, 2018 -
cubedos Public
Forked from cubesatlab/cubedosA flight software framework in SPARK/Ada
Ada UpdatedJul 12, 2018 -
cFS_FreeRTOS_seL4 Public
port FreeRTOS and seL4 for NASA cFE and OSAL
-
awesome-cpp Public
Forked from fffaraz/awesome-cppA curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
Other UpdatedMar 15, 2018 -
deepcover Public
Forked from theyoucheng/deepcoverDeepCover: Uncover Bugs in Deep Learning
Python UpdatedMar 14, 2018 -
icarous Public
Forked from nasa/icarousIntegrated Configurable Algorithms for Reliable Operations of Unmanned Systems
C UpdatedFeb 5, 2018 -
-
incubator-mxnet Public
Forked from apache/mxnetLightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
Python Apache License 2.0 UpdatedFeb 1, 2018 -
models Public
Forked from tensorflow/modelsE814 Models and examples built with TensorFlow
Python Apache License 2.0 UpdatedFeb 1, 2018 -
fast-style-transfer Public
Forked from lengstrom/fast-style-transferTensorFlow CNN for fast style transfer! ⚡🖥🎨🖼
Python UpdatedJan 31, 2018 -
CaFE Public
Forked from Stevendeo/CaFEA prototype of model-checker
C GNU Lesser General Public License v2.1 UpdatedJan 30, 2018 -
panda Public
Forked from panda-re/pandaPlatform for Architecture-Neutral Dynamic Analysis
C Other UpdatedJan 30, 2018 -
spatial-lang Public
Forked from stanford-ppl/spatial-langSpatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"
Verilog MIT License UpdatedJan 30, 2018 -
learn-haskell-coq-ml-etc Public
Forked from haroldcarr/learn-haskell-coq-ml-etcWhere I try code from Haskell (etc) books, articles, etc.
Haskell The Unlicense UpdatedJan 27, 2018 -
-
imgaug Public
Forked from aleju/imgaugImage augmentation for machine learning experiments.
Python MIT License UpdatedJan 24, 2018 -
pyinstrument Public
Forked from joerick/pyinstrument🚴 Call stack profiler for Python. Shows you why your code is slow!
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 24, 2018 -
haskell Public
Forked from tensorflow/haskellHaskell bindings for TensorFlow
Haskell Apache License 2.0 UpdatedJan 23, 2018 -
titan Public
Forked from openhumanoids/titanDrake, Atlas Drivers, and State Estimation
CMake UpdatedJan 22, 2018 -
PUMA500_QNX_Hack-in Public
Forked from HaoguangYang/PUMA500_QNX_Hack-inProject description: http://www-users.cs.umn.edu/~martin/PUMA/
C UpdatedJan 18, 2018 -
DriverFramework Public
Forked from PX4/DriverFrameworkOperating system and flight stack agnostic driver framework for POSIX (Linux, NuttX, Mac OS, QNX, VxWorks).
C++ UpdatedJan 15, 2018 -
acsl Public
Forked from acsl-language/acslSources for the ANSI/ISO C Specification Language manual
PostScript Other UpdatedJan 9, 2018 -
WellClear Public
Forked from nasa/WellClearWell-Clear Boundary Models for Integration of UAS in the NAS
HTML UpdatedJan 5, 2018 -
awesome-deep-learning-papers Public
Forked from terryum/awesome-deep-learning-papersThe most cited deep learning papers
TeX UpdatedJan 3, 2018
{{ message }}