Popular repositories Loading

1. srg-llvm-pass-tutorial srg-llvm-pass-tutorial Public

   Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial

   C++ 19 4

2. cmake-tutorial cmake-tutorial Public

   Demonstration of CMake for Imperial ACM student chapter tutorial

   C++ 18 3

3. fosdem-2012-implementing-domain-specific-languages-with-llvm fosdem-2012-implementing-domain-specific-languages-with-llvm Public

   A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012

   C 16 3

4. nsolv nsolv Public

   Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.

   C++ 10

5. docker-stats-on-exit-shim docker-stats-on-exit-shim Public

   Simple tool to record Docker container statistics before its destruction

   Go 10 4

6. simi-qt simi-qt Public

   M.Sc. group project: Structure identification in medical imaging using VTK and Qt

   C++ 8 1