podhrmic

haskell-plotter

Simple application based on Brick, plots data from Ivy bus

JSBSim-Matlab

Matlab integration of JSBSim based on work of EliaTarasov

aggieair-bootloader

Luftboot-like bootloader for Lisa MX and compatible autopilots

raccoon_dataset

The dataset is used to train my own raccoon detector and I blogged about it on Medium

arrayvec

A vector with a fixed capacity. (Rust)

cerberus

Cerberus C semantics

chisel-test

docker-petalinux2

Docker image generation for Xilinx Petalinux Tools

docs

This is the source of the seL4 docs.

Effective-Robotics-Programming-with-ROS

Code repository of Effective Robotics Programming with ROS- Third Edition by Packt

F16Capstone

Team 5 Capstone git for the F16 Modeling and Simulation. Winter/Spring 2020-2021.

git-repo

repo - The Multiple Git Repository Tool - (mirror of https://gerrit.googlesource.com/git-repo)

hacl-star

HACL*, a formally verified cryptographic library written in F*

HomeAutomation

ivy-cpp

Ivy Bus implementation in C++11, original code cloned from https://svn.tls.cena.fr/svn/ivy/ivy-c++/trunk

JSBSim-Matlab-Simulink

for reference only -> S function for Simulink integration

keras

Deep Learning library for Python. Runs on TensorFlow, Theano, or CNTK.

models

Models and examples built with TensorFlow

paparazzi

Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.

phase3

This is the repository for the phase 3 demo software and build support

podhrmic.github.io

Personal pages and research related

pprzlink

Message and communication library for the Paparazzi UAV system

rs_seL4_tools

rusthacl

rustsocket

RustyFlight

A Rust flight control system, derived from CleanFlight

serial_example

Rust test project using serial-rs

smoltcp

a smol tcp/ip stack

socket_sender

demo app to go with camkes rust ethernet app

Ubuntu-Dell-XPS-15-2019

How to install Ubuntu on a Dell XPS 15 2019