Displaying 1 to 18 of 18 repositories
Docker Image for LLVM-Examples. Built on LLVM-14, Ubuntu 20.04 stack.
4y
1.2K
Running dafny from docker image using dafny, node.js & mono package
6y
520
A docker image combining seahorn, llvm-10, gollvm, libffi, node.js and basic linux tools.
6y
454
Ubuntu Bionic 18.04 Image with cmake, gcc, g++, go & python3 installed.
6y
10K+
Google Sphinix-js Release & Testing Image for use on GCP Cloud
6y
208
Gollvm Docker Image for LLVM-IR generation of go programs using go build & llvm-goc
6y
1.1K