delcypher Goto Github PK

noughts-and-crosses

Simple console java noughts and crosses (tic-tac-toe) game

nsolv

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

nunitv2

obs-build

OBS build script, can be used with OBS or stand alone

opensource

Contains documentation and scripts related to the management of Open Source at Docker

phd-imperial-website

The source code for my Imperial homepage

propositional-logic-induction-proofs

Induction proofs for propositional logic

rubber

Rubber — a wrapper for LaTeX and friends

runc

runc container cli tools

sample-llvm-cmd

A sample project to demonstrate my additions to the LLVM CommandLine library API

simi-qt

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

simple-mtpfs-aur

AUR package for simple-mtpfs

simple-opencl-programs

A collection of simple C programs that use OpenCL

smack

SMACK: A Bounded Software Verifier for C Programs

smt2coral

srg-fuzzing-demo

Demonstration of AFL and LibFuzzer to Software Reliability Group at Imperial College London

srg-llvm-pass-tutorial

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

srg-tutorial-smt-strategy-challenge

srldevctl

A python library and utility for controlling devices over serial

stp

Simple Theorem Prover.

stpwrap

A wrapper script for STP to allow it work with KLEE in smtlibv2 solver mode

stpwrap2

A C++ wrapper for STP that makes STP behave like a compliant SMTLIBv2 solver for KLEE

sv-benchmarks

svcomp-build-mockup

Mock up design for storing information for building and verifying SV-COMP C and C++ benchmarks

swift

The Swift Programming Language

symex-fp-bench

unrarall

bash script to unrar everything and cleanup in a given directory

uuu-website-mockup2013

A mock up of a new design for the Union of UK Unicyclists website

vim-togglemouse

Toggles the mouse focus between Vim and your terminal emulator, allowing terminal emulator mouse commands, like copy/paste.

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files