Skip to content

@elegant-h2020 Elegant

Change the repository type filter

All

    Repositories list

    13 repositories

    • TornadoVM

      Public
      TornadoVM: A practical and efficient heterogeneous programming framework for managed languages
      Java
      •
      Apache License 2.0
      •114•1•0•0•Updated Nov 19, 2024Nov 19, 2024

    • video-surveillance-ubi-uc

      Public
      Java
      •
      Apache License 2.0
      •1•0•0•0•Updated Feb 26, 2024Feb 26, 2024

    • elegantPlugin

      Public
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 19, 2024Feb 19, 2024

    • esbmc

      Public
      The efficient SMT-based bounded model checker
      C
      •
      Other
      •98•1•0•0•Updated Feb 16, 2024Feb 16, 2024

    • cbmc

      Public
      C Bounded Model Checker
      C++
      •
      Other
      •264•0•0•0•Updated Feb 16, 2024Feb 16, 2024

    • elegant-reference-use-case

      Public
      This repository is a fork of https://github.com/nebulastream/nebulastream-tutorial/ with ELEGANT extensions enabled.
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 29, 2024Jan 29, 2024

    • ELEGANT-Planner

      Public
      This repository contains the code for the Planner module of the ELEGANT stack.
      LLVM
      •
      Apache License 2.0
      •1•0•0•0•Updated Jan 19, 2024Jan 19, 2024

    • opencl-examples

      Public
      Examples of running OpenCL kernels from C/C++
      C++
      •
      MIT License
      •0•0•0•0•Updated Jan 19, 2024Jan 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
      •
      Apache License 2.0
      •0•3•0•0•Updated Jan 18, 2024Jan 18, 2024

    • Elegant-Acceleration-Service

      Public
      ELEGANT Acceleration Service: A web service that provides code that can run on hardware accelerators
      javaaccelerationopencl
      Java
      •
      Apache License 2.0
      •0•1•0•0•Updated Jan 8, 2024Jan 8, 2024

    • documentation

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 16, 2023Nov 16, 2023

    • graal

      Public
      GraalVM: Run Programs Faster Anywhere 🚀
      Java
      •
      Other
      •1.6k•0•0•0•Updated May 22, 2023May 22, 2023

    • mx

      Public
      Command-line tool used for the development of Graal projects.
      Python
      •
      GNU General Public License v2.0
      •109•0•0•0•Updated May 19, 2023May 19, 2023