Elegant

Elegant's repositories

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

Language:JavaApache-2.03 30

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

Language:JavaApache-2.01 20

The efficient SMT-based bounded model checker

Language:CNOASSERTION100

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

Language:JavaApache-2.0100

C Bounded Model Checker

Language:C++NOASSERTION000

Language:PythonMIT030

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

Language:LLVMApache-2.0020

Language:JavaApache-2.0020

GraalVM: Run Programs Faster Anywhere :rocket:

Language:JavaNOASSERTION000

Command-line tool used for the development of Graal projects.

Language:PythonGPL-2.0000

Examples of running OpenCL kernels from C/C++

Language:C++MIT020

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

Language:JavaApache-2.0020

Language:JavaApache-2.0030