kiancross Goto Github PK

.vim

A repository allowing me to easily setup my preferred Vim configuration on a new machine.

checkstyle-annotations-action

Uploads Checkstyle errors & warnings as GitHub Annotations and decorates the log file output. Unlike other similar Actions, this also works on pull requests from forks and Dependabot.

cnf-prolog

A GNU Prolog programme to convert boolean expressions into CNF.

cpair

Python library to find the closest pair of points in a set, with linear asymptotic time complexity.

jsharer

mandelbrot

A Mandelbrot set explorer written in Java.

pixy

Add colour and style to terminal text.

pretix

Ticket shop application for conferences, festivals, concerts, tech events, shows, exhibitions, workshops, barcamps, etc.

questionary

Python library to build pretty command line user prompts ✨Easy to use multi-select lists, confirmations, free text prompts ...

rash

An implementation of the Robin Hood hashing algorithm in C.

spotbugs-logger-action

spotbugs-xml-reader

A tool to read a SpotBugs XML log and output a report in plain text.

terios

A prototype nanokernel for trusted execution on CHERI-enabled Arm Morello boards.

unifed

A federated social networking site. Developed for a Junior Honours project at the University of St Andrews.

unifed-protocol

A protocol developed to allow communication between nodes in a federated social media network. Part of a Junior Honours project at the University of St Andrews.

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain