Skip to content
@elegant-h2020

Elegant

EU H2020 Elegant Project

Pinned Loading

  1. TornadoVM Public

    Forked from beehive-lab/TornadoVM

    TornadoVM: A practical and efficient heterogeneous programming framework for managed languages

    Java 1

  2. cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++

  3. esbmc Public

    Forked from esbmc/esbmc

    The efficient SMT-based bounded model checker

    C 1

  4. Elegant-Acceleration-Service Public

    ELEGANT Acceleration Service: A web service that provides code that can run on hardware accelerators

    Java 1

  5. elegantPlugin Public

    Java

  6. ELEGANT-Planner Public

    This repository contains the code for the Planner module of the ELEGANT stack.

    LLVM 1

Repositories

Showing 10 of 13 repositories
  • TornadoVM Public Forked from beehive-lab/TornadoVM

    TornadoVM: A practical and efficient heterogeneous programming framework for managed languages

    Java 1 Apache-2.0 120 0 0 Updated Apr 11, 2025
  • video-surveillance-ubi-uc Public
    Java 1 Apache-2.0 2 0 0 Updated Feb 26, 2024
  • elegantPlugin Public
    Java 0 Apache-2.0 0 0 0 Updated Feb 19, 2024
  • esbmc Public Forked from esbmc/esbmc

    The efficient SMT-based bounded model checker

    C 1 109 0 0 Updated Feb 16, 2024
  • cbmc Public Forked from diffblue/cbmc

    C Bounded Model Checker

    C++ 0 309 0 0 Updated Feb 16, 2024
  • elegant-reference-use-case Public

    This repository is a fork of https://github.com/nebulastream/nebulastream-tutorial/ with ELEGANT extensions enabled.

    Java 0 Apache-2.0 0 0 0 Updated Jan 29, 2024
  • ELEGANT-Planner Public

    This repository contains the code for the Planner module of the ELEGANT stack.

    LLVM 0 Apache-2.0 1 0 0 Updated Jan 19, 2024
  • opencl-examples Public

    Examples of running OpenCL kernels from C/C++

    C++ 0 MIT 0 0 0 Updated Jan 19, 2024
  • Elegant-Code-Verification-Service Public

    A web service that employs the ESBMC and JBMC verification tools to verify C/C++ and Java code.

    Java 3 Apache-2.0 0 0 0 Updated Jan 18, 2024
  • Elegant-Acceleration-Service Public

    ELEGANT Acceleration Service: A web service that provides code that can run on hardware accelerators

    Java 1 Apache-2.0 0 0 0 Updated Jan 8, 2024
View all repositories