Skip to content
Change the repository type filter

All

    Repositories list

    • Secure and fast microVMs for serverless computing.
      Rust
      Apache License 2.0
      1.8k000Updated Nov 25, 2024Nov 25, 2024
    • zephyr

      Public
      Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
      C
      Apache License 2.0
      6.7k000Updated Nov 22, 2024Nov 22, 2024
    • SpinalHDL

      Public
      Scala based HDL
      Scala
      Other
      331000Updated Nov 22, 2024Nov 22, 2024
    • k23

      Public
      Experimental WASM Microkernel Operating System
      Rust
      12000Updated Nov 21, 2024Nov 21, 2024
    • Target side implementation of the RTT (Real-Time Transfer) I/O protocol
      Rust
      MIT License
      30000Updated Nov 20, 2024Nov 20, 2024
    • cilium

      Public
      eBPF-based Networking, Security, and Observability
      Go
      Apache License 2.0
      3k000Updated Nov 20, 2024Nov 20, 2024
    • tock

      Public
      A secure embedded operating system for microcontrollers
      Rust
      Other
      703000Updated Nov 19, 2024Nov 19, 2024
    • bsc

      Public
      Bluespec Compiler (BSC)
      Haskell
      Other
      146000Updated Nov 18, 2024Nov 18, 2024
    • garak

      Public
      the LLM vulnerability scanner
      Python
      Apache License 2.0
      246000Updated Nov 17, 2024Nov 17, 2024
    • Updater program for axo tools
      Rust
      Apache License 2.0
      6000Updated Nov 17, 2024Nov 17, 2024
    • ferrocene

      Public
      Source code of Ferrocene, safety-critical Rust toolchain
      Rust
      Other
      38000Updated Nov 16, 2024Nov 16, 2024
    • DFHDL

      Public
      DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language
      Scala
      GNU Lesser General Public License v3.0
      10000Updated Nov 15, 2024Nov 15, 2024
    • v-api

      Public
      Very small API
      Rust
      Mozilla Public License 2.0
      2000Updated Nov 14, 2024Nov 14, 2024
    • Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
      Shell
      GNU General Public License v3.0
      2.7k000Updated Nov 13, 2024Nov 13, 2024
    • Makefile
      Mozilla Public License 2.0
      120000Updated Nov 13, 2024Nov 13, 2024
    • talos

      Public
      Talos Linux is a modern Linux distribution built for Kubernetes.
      Go
      Mozilla Public License 2.0
      557000Updated Nov 12, 2024Nov 12, 2024
    • windows

      Public
      Windows inside a Docker container.
      Shell
      MIT License
      2k000Updated Nov 12, 2024Nov 12, 2024
    • mods

      Public
      MIT License
      0000Updated Nov 8, 2024Nov 8, 2024
    • .github

      Public
      0000Updated Nov 7, 2024Nov 7, 2024
    • gtsam

      Public
      GTSAM is a library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse matrices.
      C++
      Other
      773000Updated Nov 7, 2024Nov 7, 2024
    • toolchain

      Public
      Makefile
      Mozilla Public License 2.0
      12000Updated Nov 6, 2024Nov 6, 2024
    • PX4 Autopilot Software
      C++
      BSD 3-Clause "New" or "Revised" License
      14k000Updated Nov 6, 2024Nov 6, 2024
    • Open Source Flight Controller Firmware
      C
      GNU General Public License v3.0
      3.1k000Updated Nov 5, 2024Nov 5, 2024
    • Aerostack2 is a ROS 2 framework developed to create autonomous multi-aerial-robots systems in an easy and powerful way.
      C++
      BSD 3-Clause "New" or "Revised" License
      31000Updated Nov 5, 2024Nov 5, 2024
    • Makefile
      Mozilla Public License 2.0
      21000Updated Nov 5, 2024Nov 5, 2024
    • probe-rs

      Public
      A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
      Rust
      Apache License 2.0
      376000Updated Nov 5, 2024Nov 5, 2024
    • Aerial Object Detection using a Drone with PX4 Autopilot and ROS 2. PX4 SITL and Gazebo Garden used for Simulation. YOLOv8 used for Object Detection.
      Python
      19000Updated Nov 4, 2024Nov 4, 2024
    • mRemoteNG

      Public
      mRemoteNG is the next generation of mRemote, open source, tabbed, multi-protocol, remote connections manager.
      C#
      GNU General Public License v2.0
      1.4k000Updated Nov 1, 2024Nov 1, 2024
    • notify

      Public
      Notify is a Go-based assistance package that enables you to stream the output of several tools (or read from a file) and publish it to a variety of supported platforms.
      Go
      MIT License
      133000Updated Nov 1, 2024Nov 1, 2024
    • ardupilot

      Public
      ArduPlane, ArduCopter, ArduRover, ArduSub source
      C++
      GNU General Public License v3.0
      18k000Updated Nov 1, 2024Nov 1, 2024