Skip to content
@glasgowPLI

glasgowPLI

Popular repositories Loading

  1. micropython micropython Public

    Forked from micropython/micropython

    MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

    C 1 1

  2. libffi libffi Public

    Forked from CTSRD-CHERI/libffi

    A portable foreign-function interface library.

    C

  3. CHERI-vandal CHERI-vandal Public

    C

  4. WARDuino WARDuino Public

    Forked from TOPLLab/WARDuino

    A dynamic WebAssembly VM for embedded systems

    C++

  5. alloc-bench alloc-bench Public

    benchmarks to test allocator performance

    C 1

  6. cheriot-rtos cheriot-rtos Public

    Forked from CHERIoT-Platform/cheriot-rtos

    The RTOS components for the CHERIoT research platform

    C++

Repositories

Showing 8 of 8 repositories
  • Modex Public Forked from nimble-code/Modex

    a model extractor, to automatically extract Spin verification models from multi-threaded C code

    glasgowPLI/Modex’s past year of commit activity
    C 0 3 0 0 Updated Apr 14, 2025
  • alloc-bench Public

    benchmarks to test allocator performance

    glasgowPLI/alloc-bench’s past year of commit activity
    C 0 BSD-3-Clause 1 0 0 Updated Apr 2, 2025
  • micropython Public Forked from micropython/micropython

    MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

    glasgowPLI/micropython’s past year of commit activity
    C 1 8,191 0 0 Updated Jan 18, 2025
  • sonata-rv32e Public

    Simple bootloader and bare-metal application to execute standard RV32E software on the SONATA board

    glasgowPLI/sonata-rv32e’s past year of commit activity
    C 0 Apache-2.0 0 0 0 Updated Jan 17, 2025
  • WARDuino Public Forked from TOPLLab/WARDuino

    A dynamic WebAssembly VM for embedded systems

    glasgowPLI/WARDuino’s past year of commit activity
    C++ 0 MPL-2.0 9 0 0 Updated Dec 3, 2024
  • cheriot-rtos Public Forked from CHERIoT-Platform/cheriot-rtos

    The RTOS components for the CHERIoT research platform

    glasgowPLI/cheriot-rtos’s past year of commit activity
    C++ 0 MIT 52 0 0 Updated Jul 26, 2024
  • libffi Public Forked from CTSRD-CHERI/libffi

    A portable foreign-function interface library.

    glasgowPLI/libffi’s past year of commit activity
    C 0 746 0 0 Updated Mar 19, 2024
  • CHERI-vandal Public
    glasgowPLI/CHERI-vandal’s past year of commit activity
    C 0 GPL-3.0 0 0 0 Updated Sep 13, 2023

Top languages

Loading…

Most used topics

Loading…