Skip to content
Change the repository type filter

All

    Repositories list

    • RIOT

      Public
      C
      GNU Lesser General Public License v2.1
      0000Updated Jan 17, 2025Jan 17, 2025
    • xipfs

      Public
      C
      Other
      0000Updated Jan 16, 2025Jan 16, 2025
    • C
      Other
      0000Updated Jan 14, 2025Jan 14, 2025
    • Coq
      Other
      0000Updated Jan 8, 2025Jan 8, 2025
    • C
      Other
      0000Updated Dec 16, 2024Dec 16, 2024
    • C
      Other
      0000Updated Dec 16, 2024Dec 16, 2024
    • C
      Other
      0000Updated Dec 16, 2024Dec 16, 2024
    • C
      Other
      0000Updated Feb 20, 2024Feb 20, 2024
    • C
      Other
      0000Updated Feb 20, 2024Feb 20, 2024
    • Coq
      Other
      0200Updated Feb 20, 2024Feb 20, 2024
    • pipcore

      Public
      Coq
      Other
      21800Updated Feb 20, 2024Feb 20, 2024
    • dx

      Public
      Coq
      GNU General Public License v2.0
      0000Updated Feb 20, 2024Feb 20, 2024
    • digger

      Public
      Haskell
      Other
      0400Updated Feb 20, 2024Feb 20, 2024
    • libpip

      Public
      LibPip: library to embed PIP-related operations
      C
      Other
      2301Updated Feb 15, 2022Feb 15, 2022
    • ubertooth

      Public
      Software, firmware and hardware designs for Ubertooth
      C
      GNU General Public License v2.0
      436000Updated Feb 23, 2021Feb 23, 2021
    • sdr-ids

      Public
      A SDR based IDS for IoT
      0000Updated Aug 23, 2019Aug 23, 2019
    • C
      1000Updated Oct 30, 2018Oct 30, 2018
    • dec

      Public
      Coq
      Other
      1000Updated Sep 28, 2018Sep 28, 2018
    • 0000Updated Nov 13, 2017Nov 13, 2017
    • smews

      Public
      Smart & Mobile Embedded Web Server
      C
      Other
      191082Updated Apr 7, 2015Apr 7, 2015
    • A shell based test framework for smews
      Python
      5140Updated May 30, 2013May 30, 2013