The Wayback Machine - https://web.archive.org/web/20211101162830/https://github.com/l-kershaw
Skip to content
Avatar
6 followers · 2 following · 37
Block or Report

Block or report l-kershaw

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
l-kershaw/README.md

Hi there, I'm Luke 👋

I am a PhD student in the School of Mathematics, at the University of Bristol, UK. My research focuses on homological algebra and representation theory. I also have experience in data science, and am interested in a wide range of maths and computing.

Pinned

  1. leanprover-community/mathlib Public

    Lean mathematical components library

    Lean 981 208

  2. nvim-telescope/telescope.nvim Public

    Find, Filter, Preview, Pick. All lua, all the time.

    Lua 3.9k 276

  3. glepnir/galaxyline.nvim Public

    neovim statusline plugin written in lua

    Lua 665 91

  4. nvim-telescope/telescope-project.nvim Public

    Lua 191 18

409 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

November 1, 2021

l-kershaw has no activity yet for this period.