Pinned Repositories
cmake-tutorial
Demonstration of CMake for Imperial ACM student chapter tutorial
docker-stats-on-exit-shim
Simple tool to record Docker container statistics before its destruction
docker-ubuntu-cxx-dev
Docker image for development of C++ applications on Ubuntu
edit_distance
A simple implementation of the Wagner-Fischer algorithm in python for computing the minimum string edit-distance
fosdem-2012-implementing-domain-specific-languages-with-llvm
A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012
llvm-lit
A read only mirror of LLVM's llvm-lit code
llvmCMakeImportDemo
A demo of importing LLVM into a CMake project via LLVM's exported targets
nsolv
Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
simi-qt
M.Sc. group project: Structure identification in medical imaging using VTK and Qt
srg-llvm-pass-tutorial
Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial
delcypher's Repositories
delcypher/docker-stats-on-exit-shim
Simple tool to record Docker container statistics before its destruction
delcypher/llvm-lit
A read only mirror of LLVM's llvm-lit code
delcypher/docker-ubuntu-cxx-dev
Docker image for development of C++ applications on Ubuntu
delcypher/iscp-0.2
Interactive Secure Copy. This uses rsync to do file transfers using SSH.
delcypher/srg-fuzzing-demo
Demonstration of AFL and LibFuzzer to Software Reliability Group at Imperial College London
delcypher/symex-fp-bench
delcypher/fp-benchmarks-imperial
delcypher/fp-benchmarks-aachen
delcypher/klee
KLEE Symbolic Virtual Machine
delcypher/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
delcypher/smt2coral
delcypher/srg-tutorial-smt-strategy-challenge
delcypher/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
delcypher/apple-llvm-project
delcypher/boogie
Boogie
delcypher/compiler-rt
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
delcypher/docker-makefile-demo
delcypher/docker-py
A Python library for the Docker Engine API
delcypher/googletest
Google Test
delcypher/gosat
SMT solver for the theory of floating-point arithmetic
delcypher/klee-analysis
delcypher/klee-runner
delcypher/klee.github.io
delcypher/opensource
Contains documentation and scripts related to the management of Open Source at Docker
delcypher/rubber
Rubber — a wrapper for LaTeX and friends
delcypher/runc
runc container cli tools
delcypher/stp
Simple Theorem Prover.
delcypher/sv-benchmarks
delcypher/unrarall
bash script to unrar everything and cleanup in a given directory
delcypher/z3
The Z3 Theorem Prover