Skip to content
Change the repository type filter

All

    Repositories list

    • Config files, scripts, and other stuff for Patmos
      Python
      3200Updated Dec 13, 2024Dec 13, 2024
    • soc-comm

      Public
      Collection of different communication methods for chip mulitprocessors
      Scala
      BSD 2-Clause "Simplified" License
      3501Updated Dec 13, 2024Dec 13, 2024
    • patmos

      Public
      Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project
      VHDL
      BSD 2-Clause "Simplified" License
      73138270Updated Dec 12, 2024Dec 12, 2024
    • C++
      5081Updated Dec 2, 2024Dec 2, 2024
    • A collection of benchmarks and tests for the Patmos processor and compiler
      C
      141610Updated Dec 2, 2024Dec 2, 2024
    • Newlib port for Patmos
      C
      GNU General Public License v2.0
      4300Updated Dec 2, 2024Dec 2, 2024
    • platin

      Public
      Promela
      1210Updated Nov 7, 2024Nov 7, 2024
    • l2-cache

      Public
      A cache for real-time systems
      Scala
      BSD 2-Clause "Simplified" License
      1000Updated Jul 2, 2024Jul 2, 2024
    • Host the Patmos ISA simulator
      C++
      2280Updated Feb 8, 2024Feb 8, 2024
    • Ruby
      Other
      1000Updated Jan 31, 2024Jan 31, 2024
    • Test suite for constant execution time programs
      C
      1000Updated Nov 14, 2023Nov 14, 2023
    • Patmos fork of Micropython
      C
      Other
      7.9k000Updated May 17, 2023May 17, 2023
    • argo

      Public
      Argo is a time-division multiplexing network-on-chip.
      Verilog
      81000Updated Apr 3, 2023Apr 3, 2023
    • C
      Other
      0010Updated Feb 16, 2023Feb 16, 2023
    • iot-rt

      Public
      Real-Time HTTP/TCP/IP Stack for IoT
      C
      BSD 2-Clause "Simplified" License
      3400Updated Feb 13, 2022Feb 13, 2022
    • poseidon

      Public
      Static NoC TDM scheduler
      C++
      1310Updated Jan 12, 2022Jan 12, 2022
    • Sail ISA model of Patmos
      SMT
      BSD 2-Clause "Simplified" License
      1100Updated Sep 21, 2021Sep 21, 2021
    • rt-ua

      Public
      Real-Time OPC UA
      C
      1100Updated Aug 12, 2021Aug 12, 2021
    • Port of the LLVM compiler infrastructure to the time-predictable processor Patmos
      C++
      Other
      81590Updated May 12, 2021May 12, 2021
    • Port of LLVM's compiler library
      C
      Other
      0100Updated Feb 12, 2021Feb 12, 2021
    • Main development repository for TinyOS (an OS for embedded, wireless devices).
      nesC
      520000Updated Jan 24, 2021Jan 24, 2021
    • drone

      Public
      Drone controller
      C
      BSD 2-Clause "Simplified" License
      1000Updated Aug 3, 2020Aug 3, 2020
    • Port of the binutils gold linker to Patmos
      C
      GNU General Public License v2.0
      0100Updated Dec 18, 2019Dec 18, 2019
    • apps

      Public
      Applications on T-CREST
      C++
      0000Updated Jun 14, 2019Jun 14, 2019
    • s4noc

      Public
      A Statically-scheduled TDM Network-on-Chip for Real-Time Systems
      VHDL
      41300Updated May 19, 2019May 19, 2019
    • aegean

      Public
      Configuration framework for the T-CREST platform (Aegean)
      Python
      3200Updated Mar 11, 2019Mar 11, 2019
    • reconfig

      Public
      Hardware and script files related to dynamic partial reconfiguration
      Verilog
      5900Updated Mar 16, 2018Mar 16, 2018
    • sdram

      Public
      A simple and static SDRAM controller for time-predictable main memory access
      VHDL
      2400Updated Mar 29, 2017Mar 29, 2017
    • ospat

      Public
      A real-time operating system for Patmos
      C
      2000Updated Oct 20, 2016Oct 20, 2016
    • rtems

      Public
      Port of the RTEMS real-time operating system to the time-predictable processor Patmos
      C
      Other
      2100Updated Oct 20, 2016Oct 20, 2016