Pinned Repositories
Emacs
infball19-api
Informatics Ball 2019 api
infball19-frontend
Frontend for the 2019 Informatics Ball
KyleCotton.github.io
Personal Website/Blog for Kyle Cotton
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.
square-rs
ug4-proj-examples
KyleCotton's Repositories
KyleCotton/square-rs
KyleCotton/ug4-proj-examples
KyleCotton/betterinformatics
Welcome to Better Informatics. The student run website for students in the School of Informatics.
KyleCotton/Emacs
KyleCotton/infball19-api
Informatics Ball 2019 api
KyleCotton/infball19-frontend
Frontend for the 2019 Informatics Ball
KyleCotton/KyleCotton.github.io
Personal Website/Blog for Kyle Cotton
KyleCotton/rusty-junctions
A Rust crate implementing Join Patterns from the Join Calculus, written as part of my bachelor thesis.
KyleCotton/rusty-junctions-macro
A Rust crate implementing both the Library Generation and Client Macro API for rusty-junctions.
KyleCotton/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
KyleCotton/blow
A zola theme based on tailwindcss
KyleCotton/CodeBase
KyleCotton/CodingChallenge
KyleCotton/constitution
This is the CompSoc constitution.
KyleCotton/dotfiles
Configuration files for personal and development machines
KyleCotton/Hacktoberfest
This hacktoberfest project exists to help you submit your first Pull Request and welcome you to the world of open source!
KyleCotton/hacktoberfest-demo
example repo for teaching introduction to git
KyleCotton/Hover-Craft
Hovercraft Code Repository
KyleCotton/infos-coursework
A repository for completing the InfOS coursework tasks
KyleCotton/Java-Masterclass
KyleCotton/jsonwebtoken
JWT lib in rust
KyleCotton/KyleCotton
Config files for my GitHub profile.
KyleCotton/neovim
Vim-fork focused on extensibility and usability. Extended to have vendored dependencies.
KyleCotton/SocialHub
KyleCotton/website-1
This is the website that powers CompSoc Edinburgh. Includes a blog, minutes, various pages — all written with Jekyll, SASS, Bootstrap, and Docker.