delcypher/libclc
My own personal copy of libclc
Developer Profile
delcypher
Discovered public repositories for delcypher in the GitHub catalog.
delcypher/simple-mtpfs-aur
AUR package for simple-mtpfs
delcypher/ipython-srg-talk
A presentation on IPython writen using the IPython notebook slideshow feature
delcypher/klee-uclibc
Public repository.
delcypher/klee-doxygen-webservice
Hacky webservice for automatically regenerating KLEE doxygen docs
delcypher/vim-togglemouse
Toggles the mouse focus between Vim and your terminal emulator, allowing terminal emulator mouse commands, like copy/paste.
delcypher/init-tmux
A small set of scripts for automating the creation and destruction of Tmux sessions.
delcypher/ddp
A wrapper for dd that shows progress information during copying
delcypher/simple-opencl-programs
A collection of simple C programs that use OpenCL
delcypher/cmake-findopencl
A clone of Matthias Bach's Find OpenCL CMake module
delcypher/stp
Simple Theorem Prover.
delcypher/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
delcypher/klee-cl-bullet-benchmarks
Fork of Peter Collingbournes code for KLEE-CL benchmarks
delcypher/klee
KLEE Symbolic Virtual Machine
delcypher/phd-imperial-website
The source code for my Imperial homepage
delcypher/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
delcypher/sample-llvm-cmd
A sample project to demonstrate my additions to the LLVM CommandLine library API
delcypher/klee-cl
A fork of KLEE-CL for my PhD work
delcypher/buc2013-website
Website code for BUC2013
delcypher/uuu-website-mockup2013
A mock up of a new design for the Union of UK Unicyclists website
delcypher/noughts-and-crosses
Simple console java noughts and crosses (tic-tac-toe) game
delcypher/klee-core-utils-harness
Simple bash script for executing KLEE on core-utils
delcypher/stpwrap2
A C++ wrapper for STP that makes STP behave like a compliant SMTLIBv2 solver for KLEE
delcypher/nsolv
Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
delcypher/stpwrap
A wrapper script for STP to allow it work with KLEE in smtlibv2 solver mode
delcypher/coralccc
Coral C Constraint Checker
delcypher/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
delcypher/propositional-logic-induction-proofs
Induction proofs for propositional logic
delcypher/simi-qt
M.Sc. group project: Structure identification in medical imaging using VTK and Qt
delcypher/git-help
A quick guide for Imperial M.Sc. Students to get started with git for their group projects
delcypher/btimer
Primitive timing script written in bash
delcypher/yaflac2mp3
Yet Another FLAC to MP3 script
delcypher/iscp-0.2
Interactive Secure Copy. This uses rsync to do file transfers using SSH.
delcypher/lc
Public repository.