Pinned Loading

1. TornadoVM TornadoVM Public

   Forked from beehive-lab/TornadoVM

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

   Java 1

2. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   C++

3. esbmc esbmc Public

   Forked from esbmc/esbmc

   The efficient SMT-based bounded model checker

   C 1

4. Elegant-Acceleration-Service Elegant-Acceleration-Service Public

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

   Java 1

5. elegantPlugin elegantPlugin Public

   Java

6. ELEGANT-Planner ELEGANT-Planner Public

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

   LLVM 1