Repositories list

• ghaf-caml-crush

  Public
  Caml Crush package and NixOS-module for ghaf framework

  Nix

  •

  Apache License 2.0

  •5•0•1•5•Updated Mar 20, 2025Mar 20, 2025

• ghaf-infra

  Public
  Nix

  •23•9•0•9•Updated Mar 20, 2025Mar 20, 2025

• dev-team-sandbox

  Public
  Development team sandbox fork of Ghaf

  Nix

  •

  Apache License 2.0

  •64•0•0•0•Updated Mar 20, 2025Mar 20, 2025

• nuttx

  Public
  Apache NuttX is a mature, real-time embedded operating system (RTOS)

  C

  •

  Apache License 2.0

  •1.3k•0•0•9•Updated Mar 20, 2025Mar 20, 2025

• action-test-public

  Public
  Nix

  •3•0•0•2•Updated Mar 20, 2025Mar 20, 2025

• sbomnix

  Public
  A suite of utilities to help with software supply chain challenges on nix targets

  pythonsecuritynix+ 14static-analysisdependenciescpesoftware-supply-chainvulnerability-scannersbill-of-materialssoftware-bill-of-materials+ 7

  Python

  •26•161•10•2•Updated Mar 20, 2025Mar 20, 2025

• ghaf-fmo-laptop

  Public
  FMO laptop configuration

  Nix

  •4•0•0•1•Updated Mar 20, 2025Mar 20, 2025

• ghaf

  Public
  TII SSRC Secure Technologies: Ghaf Framework

  Nix

  •

  Apache License 2.0

  •64•43•11•35•Updated Mar 20, 2025Mar 20, 2025

• ghafscan

  Public
  Daily updated vulnerability scans for selected Ghaf flake outputs

  Python

  •2•3•0•1•Updated Mar 20, 2025Mar 20, 2025

• cpedict

  Public
  Daily updated database of CPE product and vendor names that appear in NVD CPE dictionary.

  Shell

  •2•4•0•0•Updated Mar 20, 2025Mar 20, 2025

• ci-test-automation

  Public
  C++

  •

  Creative Commons Zero v1.0 Universal

  •7•1•0•8•Updated Mar 19, 2025Mar 19, 2025

• px4-firmware

  Public
  PX4 Autopilot Software

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •14k•9•0•21•Updated Mar 19, 2025Mar 19, 2025

• ghaf-jenkins-pipeline

  Public
  Groovy

  •13•0•0•1•Updated Mar 19, 2025Mar 19, 2025

• contiki-ng

  Public
  Contiki-NG: The OS for Next Generation IoT Devices

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •709•0•0•0•Updated Mar 19, 2025Mar 19, 2025

• shmsockproxy

  Public
  TII SSRC Secure Technologies: Shared Memory Socket Forwarder

  C

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 19, 2025Mar 19, 2025

• px4-log-tool

  Public
  The All-in-One tool to work with PX4 log files.

  Python

  •0•0•0•0•Updated Mar 17, 2025Mar 17, 2025

• pkvm-debug-tools

  Public
  C

  •0•0•0•0•Updated Mar 17, 2025Mar 17, 2025

• ci-vm-example

  Public
  Nix

  •0•0•0•0•Updated Mar 17, 2025Mar 17, 2025

• ci-yubi

  Public
  YubiHSM/Yubikey related code for CI/CD use

  Python

  •1•0•0•6•Updated Mar 17, 2025Mar 17, 2025

• ghaf-release-storage

  Public
  Shell

  •2•1•0•2•Updated Mar 16, 2025Mar 16, 2025

• jetpack-nixos

  Public
  NixOS module for NVIDIA Jetson devices

  Nix

  •

  MIT License

  •76•8•0•4•Updated Mar 14, 2025Mar 14, 2025

• nuttx-apps

  Public
  Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS

  C

  •

  Apache License 2.0

  •587•0•0•1•Updated Mar 14, 2025Mar 14, 2025

• ghafpkgs

  Public
  Ghaf packages repository

  C++

  •4•0•0•1•Updated Mar 14, 2025Mar 14, 2025

• torchtune

  Public
  PyTorch native post-training library

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •561•0•0•0•Updated Mar 12, 2025Mar 12, 2025

• nats-server

  Public
  High-Performance server for NATS.io, the cloud and edge native messaging system.

  Go

  •

  Apache License 2.0

  •1.5k•0•0•2•Updated Mar 12, 2025Mar 12, 2025

• ci-yubi-uae

  Public
  Python

  •0•0•0•0•Updated Mar 12, 2025Mar 12, 2025

• ghaf-ctrl-panel

  Public
  Ghaf Control panel GUI application

  Rust

  •

  Apache License 2.0

  •6•2•0•1•Updated Mar 10, 2025Mar 10, 2025

• ghaf-givc

  Public
  Ghaf gRPC-based inter-vm communication framework

  Go

  •

  Apache License 2.0

  •9•0•0•3•Updated Mar 10, 2025Mar 10, 2025

• scout_ros2

  Public
  ROS2 Support Package for Scout Robot

  C++

  •

  Apache License 2.0

  •50•0•0•0•Updated Mar 10, 2025Mar 10, 2025

• srta-ldpi

  Public
  Contrastive learning and unsupervised/semi-supervised approach for online anomaly detection in network traffic.

  Python

  •2•0•0•0•Updated Mar 6, 2025Mar 6, 2025