Pinned Repositories
.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.
mandelbrot
A Mandelbrot set explorer written in Java.
pixy
Add colour and style to terminal text.
rash
An implementation of the Robin Hood hashing algorithm in C.
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.
questionary
Python library to build pretty command line user prompts ✨Easy to use multi-select lists, confirmations, free text prompts ...
kiancross's Repositories
kiancross/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.
kiancross/pixy
Add colour and style to terminal text.
kiancross/rash
An implementation of the Robin Hood hashing algorithm in C.
kiancross/unifed
A federated social networking site. Developed for a Junior Honours project at the University of St Andrews.
kiancross/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.
kiancross/.vim
A repository allowing me to easily setup my preferred Vim configuration on a new machine.
kiancross/cnf-prolog
A GNU Prolog programme to convert boolean expressions into CNF.
kiancross/cpair
Python library to find the closest pair of points in a set, with linear asymptotic time complexity.
kiancross/mandelbrot
A Mandelbrot set explorer written in Java.
kiancross/terios
A prototype nanokernel for trusted execution on CHERI-enabled Arm Morello boards.
kiancross/jsharer
kiancross/pretix
Ticket shop application for conferences, festivals, concerts, tech events, shows, exhibitions, workshops, barcamps, etc.
kiancross/questionary
Python library to build pretty command line user prompts ✨Easy to use multi-select lists, confirmations, free text prompts ...
kiancross/spotbugs-logger-action
kiancross/spotbugs-xml-reader
A tool to read a SpotBugs XML log and output a report in plain text.
kiancross/wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain