Pinned Repositories
cbmc
C Bounded Model Checker
Elegant-Acceleration-Service
ELEGANT Acceleration Service: A web service that provides code that can run on hardware accelerators
Elegant-Code-Verification-Service
A web service that employs the ESBMC and JBMC verification tools to verify C/C++ and Java code.
ELEGANT-Planner
This repository contains the code for the Planner module of the ELEGANT stack.
elegantPlugin
esbmc
The efficient SMT-based bounded model checker
mx
Command-line tool used for the development of Graal projects.
opencl-examples
Examples of running OpenCL kernels from C/C++
TornadoVM
TornadoVM: A practical and efficient heterogeneous programming framework for managed languages
video-surveillance-ubi-uc
Elegant's Repositories
elegant-h2020/Elegant-Code-Verification-Service
A web service that employs the ESBMC and JBMC verification tools to verify C/C++ and Java code.
elegant-h2020/Elegant-Acceleration-Service
ELEGANT Acceleration Service: A web service that provides code that can run on hardware accelerators
elegant-h2020/esbmc
The efficient SMT-based bounded model checker
elegant-h2020/TornadoVM
TornadoVM: A practical and efficient heterogeneous programming framework for managed languages
elegant-h2020/video-surveillance-ubi-uc
elegant-h2020/cbmc
C Bounded Model Checker
elegant-h2020/documentation
elegant-h2020/ELEGANT-Planner
This repository contains the code for the Planner module of the ELEGANT stack.
elegant-h2020/elegantPlugin
elegant-h2020/graal
GraalVM: Run Programs Faster Anywhere :rocket:
elegant-h2020/mx
Command-line tool used for the development of Graal projects.
elegant-h2020/opencl-examples
Examples of running OpenCL kernels from C/C++
elegant-h2020/elegant-reference-use-case
This repository is a fork of https://github.com/nebulastream/nebulastream-tutorial/ with ELEGANT extensions enabled.