jmciver's repositories
alive2
Automatic verification of LLVM optimizations
Language:C++MIT000
Language:CMakeBSL-1.0000
cs554loboctests
UNM CS554 LOBO-C Test Files
000
Language:Dockerfile000
Language:Dockerfile000
gs-spring-boot-docker
Spring Boot with Docker :: Learn how to create a Docker container from a Spring Boot application with Maven or Gradle
Language:JavaApache-2.0000
Language:C++000
krb5
mirror of MIT krb5 repository
Language:C000
liaw2015
C++Now Library In a Week 2015 - Application Configuration
000
llvm-ir-cmake-utils
LLVM IR CMake utils for bitcode file manipulation by opt and friends
LGPL-2.1000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
NOASSERTION000
Language:LogosNOASSERTION000
mlir-tv
A translation validation framework for MLIR
Apache-2.0000
ompi
Open MPI main development repository
NOASSERTION000
Language:Ruby000
puppetlabs-ntp
Puppet module to manage the NTP service
Apache-2.0000
sgnl05-sssd
Puppet module for SSSD
Language:RubyGPL-3.0000
Language:Shell000