There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sbomnix
A suite of utilities to help with software supply chain challenges on nix targetsrclgo
ROS Client Library for Golangjamrf
SDR-based Jamming using GNU Radioghaf
TII SSRC Secure Technologies: Ghaf Frameworknavigation
ROS2 package for collision-free 3D navigation and path-planning using an octomap environment representationmesh_com
ROS node for Mesh Network configurationmeta-sel4
Yocto layer for seL4 related stuffdepthai_ctrl
DepthAI control ROS2 nodetii-sel4-vm
ghaf-infra
kmod-sel4-virt
Linux kernel module to manage seL4 guest VMsradio_hal
Generic Radio HAL for different wireless radio(Wi-Fi/BT/15.4)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.nixpkgs-spectrum
Fork of https://spectrum-os.org/git/nixpkgs/ to store and share WIP patchesUTM-Security-Verifier
Security Verification Test Suite for UTM Stackspectrum
tii_sel4_build
vmd
arid2
Anonymous and Verifiable Remote Identification of Commercial Dronesfog_sw
Public ROS2 components for TII/SSRC drone projectlidar_slam
fog-ros-baseimage
Base container image for FOG ROS appsmocap_pose
Indoor GPS synthesizer for ROS from Qualisys QTM (a motion capture system)cpedict
Daily updated database of CPE product and vendor names that appear in NVD CPE dictionary.tii_sel4_manifest
vmmanager
Control tool for app VMsUAV-Propeller-Anomaly-Audio-Dataset
UAV broken propeller anomaly audio datasetmission-data-recorder
jetpack-nixos-notfork
open-sf
An open Synchronous Flooding stack for Nordic nRF devices based on Contiki-NG + BlueFloodcrazyflie_check
Program that checks connectivity, latency, and other basic checks on Crazyflie.ros2_gremsy
control_interface
For interaction between low-level Pixhawk and higher level of control, ROS node based on MavSDKcrazyflie_log
Flight Review for the Crazyflie. Requires the Micro SD deck.spectrum-config-imx8
dockerized_sel4_compile
Compile seL4 inside Docker containerdrone-vr-pwa
The drone VR progressive web application.build-configurations
ci-public
CI/CDscs-pki-research
PKI research materialghafscan
Daily updated vulnerability scans for selected Ghaf flake outputsdomilab
DomiLab: Network Resilience Playground.ci-test-automation
Love Open Source and this site? Check out how you can help us