-
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedJul 25, 2024 -
-
docker-petalinux2 Public
Forked from carlesfernandez/docker-petalinux2Docker image generation for Xilinx Petalinux Tools
Dockerfile MIT License UpdatedMay 24, 2023 -
-
JSBSim-Matlab-Simulink Public archive
for reference only -> S function for Simulink integration
-
JSBSim-Matlab Public archive
Matlab integration of JSBSim based on work of EliaTarasov
-
phase3 Public
Forked from smaccm/phase3This is the repository for the phase 3 demo software and build support
Shell UpdatedJul 14, 2021 -
git-repo Public
Forked from GerritCodeReview/git-reporepo - The Multiple Git Repository Tool - (mirror of https://gerrit.googlesource.com/git-repo)
Python Apache License 2.0 UpdatedJun 14, 2021 -
F16Capstone Public
Forked from camdeno/F16CapstoneTeam 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.
MATLAB MIT License UpdatedMay 12, 2021 -
-
Effective-Robotics-Programming-with-ROS Public
Forked from PacktPublishing/Effective-Robotics-Programming-with-ROSCode repository of Effective Robotics Programming with ROS- Third Edition by Packt
C++ MIT License UpdatedJan 5, 2021 -
Ubuntu-Dell-XPS-15-2019 Public
Forked from TillmannBerg/Ubuntu-Dell-XPS-15-2019How to install Ubuntu on a Dell XPS 15 2019
Shell UpdatedDec 1, 2019 -
RustyFlight Public
Forked from GaloisInc/RustyFlightA Rust flight control system, derived from CleanFlight
Rust UpdatedNov 27, 2019 -
models Public
Forked from tensorflow/modelsModels and examples built with TensorFlow
Python Apache License 2.0 UpdatedNov 25, 2019 -
arrayvec Public
Forked from bluss/arrayvecA vector with a fixed capacity. (Rust)
Rust Apache License 2.0 UpdatedJun 21, 2019 -
haskell-plotter Public
Forked from jtdaugherty/brick-devlunchSimple application based on Brick, plots data from Ivy bus
-
smoltcp Public archive
Forked from smoltcp-rs/smoltcpa smol tcp/ip stack
Rust BSD Zero Clause License UpdatedJul 31, 2018 -
aggieair-bootloader Public
Luftboot-like bootloader for Lisa MX and compatible autopilots
-
ivy-cpp Public
Ivy Bus implementation in C++11, original code cloned from https://svn.tls.cena.fr/svn/ivy/ivy-c++/trunk
-
This is the source of the seL4 docs.
C BSD 2-Clause "Simplified" License UpdatedMay 1, 2018 -
-
hacl-star Public
Forked from hacl-star/hacl-starHACL*, a formally verified cryptographic library written in F*
Assembly Apache License 2.0 UpdatedDec 8, 2017 -
raccoon_dataset Public
Forked from datitran/raccoon_datasetThe dataset is used to train my own raccoon detector and I blogged about it on Medium
-
keras Public
Forked from keras-team/kerasDeep Learning library for Python. Runs on TensorFlow, Theano, or CNTK.
Python Other UpdatedOct 30, 2017 -
paparazzi Public
Forked from paparazzi/paparazziPaparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.
-
pprzlink Public
Forked from paparazzi/pprzlinkMessage and communication library for the Paparazzi UAV system
OCaml UpdatedOct 10, 2017 -
-
-
-