• Stars
    star
    2
  • Language
    Shell
  • Created over 2 years ago
  • Updated 4 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Base container image for FOG ROS apps

More Repositories

1

sbomnix

A suite of utilities to help with software supply chain challenges on nix targets
Python
95
star
2

rclgo

ROS Client Library for Golang
Go
73
star
3

jamrf

SDR-based Jamming using GNU Radio
Python
59
star
4

ghaf

TII SSRC Secure Technologies: Ghaf Framework
Nix
22
star
5

navigation

ROS2 package for collision-free 3D navigation and path-planning using an octomap environment representation
C++
17
star
6

mesh_com

ROS node for Mesh Network configuration
Python
14
star
7

meta-sel4

Yocto layer for seL4 related stuff
BitBake
7
star
8

depthai_ctrl

DepthAI control ROS2 node
C++
6
star
9

tii-sel4-vm

C
6
star
10

ghaf-infra

Nix
6
star
11

kmod-sel4-virt

Linux kernel module to manage seL4 guest VMs
C
5
star
12

radio_hal

Generic Radio HAL for different wireless radio(Wi-Fi/BT/15.4)
C
5
star
13

rpi4-64-sel4-u-boot-build

This repository contains necessary tools and patches to enable building 64-bit U-boot capable of booting seL4 microkernel on Raspberry Pi 4 B 8GB LPDDR4 version.
5
star
14

nixpkgs-spectrum

Fork of https://spectrum-os.org/git/nixpkgs/ to store and share WIP patches
Nix
4
star
15

UTM-Security-Verifier

Security Verification Test Suite for UTM Stack
4
star
16

spectrum

Nix
4
star
17

tii_sel4_build

Shell
4
star
18

vmd

Rust
3
star
19

qemu-sel4-virtio

C
3
star
20

arid2

Anonymous and Verifiable Remote Identification of Commercial Drones
C++
3
star
21

fog_sw

Public ROS2 components for TII/SSRC drone project
Shell
3
star
22

lidar_slam

C++
2
star
23

mocap_pose

Indoor GPS synthesizer for ROS from Qualisys QTM (a motion capture system)
C++
2
star
24

cpedict

Daily updated database of CPE product and vendor names that appear in NVD CPE dictionary.
Shell
2
star
25

tii_sel4_manifest

2
star
26

vmmanager

Control tool for app VMs
QML
1
star
27

UAV-Propeller-Anomaly-Audio-Dataset

UAV broken propeller anomaly audio dataset
1
star
28

mission-data-recorder

Go
1
star
29

jetpack-nixos

Nix
1
star
30

open-sf

An open Synchronous Flooding stack for Nordic nRF devices based on Contiki-NG + BlueFlood
1
star
31

crazyflie_check

Program that checks connectivity, latency, and other basic checks on Crazyflie.
Python
1
star
32

ros2_gremsy

C++
1
star
33

control_interface

For interaction between low-level Pixhawk and higher level of control, ROS node based on MavSDK
C++
1
star
34

crazyflie_log

Flight Review for the Crazyflie. Requires the Micro SD deck.
Python
1
star
35

spectrum-config-imx8

Nix
1
star
36

dockerized_sel4_compile

Compile seL4 inside Docker container
Dockerfile
1
star
37

drone-vr-pwa

The drone VR progressive web application.
Go
1
star
38

build-configurations

Nix
1
star
39

ci-public

CI/CD
Python
1
star
40

scs-pki-research

PKI research material
Shell
1
star
41

ghafscan

Daily updated vulnerability scans for selected Ghaf flake outputs
Python
1
star
42

domilab

DomiLab: Network Resilience Playground.
TypeScript
1
star
43

ci-test-automation

C++
1
star