Technology Innovation Institute (@tiiuae)

Top 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

spectrum

Nix
4
star
16

tii_sel4_build

Shell
4
star
17

vmd

Rust
3
star
18

qemu-sel4-virtio

C
3
star
19

arid2

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

fog_sw

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

lidar_slam

C++
2
star
22

fog-ros-baseimage

Base container image for FOG ROS apps
Shell
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

open-sf

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

crazyflie_check

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

ros2_gremsy

C++
1
star
32

control_interface

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

crazyflie_log

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

spectrum-config-imx8

Nix
1
star
35

dockerized_sel4_compile

Compile seL4 inside Docker container
Dockerfile
1
star
36

drone-vr-pwa

The drone VR progressive web application.
Go
1
star
37

build-configurations

Nix
1
star
38

ci-public

CI/CD
Python
1
star
39

scs-pki-research

PKI research material
Shell
1
star
40

ghafscan

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

domilab

DomiLab: Network Resilience Playground.
TypeScript
1
star
42

ci-test-automation

C++
1
star