jb567

The best sleepy boi

New Zealand

Pinned Repositories

advanced-image-search
An extension to search Google images.
Language:HTML00
comp304-tutorials
Language:Haskell0 1 00
tla-go-back-n
A TLA+ verification of the Go-Back-N ARQ protocol
Language:TLA2 1 01

jb567's Repositories

jb567/tla-go-back-n
A TLA+ verification of the Go-Back-N ARQ protocol
Language:TLA2 1 01
jb567/advanced-image-search
An extension to search Google images.
Language:HTML00
jb567/advent-of-code
Language:Haskell0 1 00
jb567/comp304-tutorials
Language:Haskell0 1 00
jb567/better-progress-bar
A script written in bash that displays the percentage of the song completed in lemonbar by recolouring the characters in the name.
Language:Shell1 0
jb567/coc-git-issues
:octopus: Github issue source for coc.nvim
Language:TypeScript1 0
jb567/DailyProgrammer
Language:Haskell1 0
jb567/documents
The constitution for VEC. Members are encouraged to submits PRs for discussion at general meetings.
1 0
jb567/dotfiles
Language:Vim script1 0
jb567/jb567.github.io
Language:Ruby1 0
jb567/linux-guide
Language:TeX2 0
jb567/Movie-Night-App
Created as part of the catalyst Open Source Academy, web app and android app
Language:PHP2 0
jb567/onlycomrad.es
An injoke social network about social media bubbles
Language:TypeScript1 0
jb567/SafetyJim
A moderation bot for discord.
Language:Java1 0
jb567/SCARA-ARM
Language:Java4 0
jb567/SelfAssessmentTool
Language:Java
jb567/silentio
Language:JavaScript4 01
jb567/vim
My vim configuration
Language:Vim script2 0