kylecotton Goto Github PK

adv360-pro-zmk

Production repository for the all-new Advantage360 Professional using ZMK engine

betterinformatics

Welcome to Better Informatics. The student run website for students in the School of Informatics.

blow

A zola theme based on tailwindcss

codebase

codingchallenge

constitution

This is the CompSoc constitution.

dotfiles

Configuration files for personal and development machines

emacs

hacktoberfest

This hacktoberfest project exists to help you submit your first Pull Request and welcome you to the world of open source!

hacktoberfest-demo

example repo for teaching introduction to git

hover-craft

Hovercraft Code Repository

infball19-api

Informatics Ball 2019 api

infball19-frontend

Frontend for the 2019 Informatics Ball

infos-coursework

A repository for completing the InfOS coursework tasks

java-masterclass

jsonwebtoken

JWT lib in rust

kylecotton

Config files for my GitHub profile.

kylecotton.github.io

Personal Website/Blog for Kyle Cotton

neovim

Vim-fork focused on extensibility and usability. Extended to have vendored dependencies.

rusty-junctions

A Rust crate implementing Join Patterns from the Join Calculus, written as part of my bachelor thesis.

rusty-junctions-macro

A Rust crate implementing both the Library Generation and Client Macro API for rusty-junctions.

socialhub

square-rs

ug4-proj-examples

website-1

This is the website that powers CompSoc Edinburgh. Includes a blog, minutes, various pages — all written with Jekyll, SASS, Bootstrap, and Docker.