Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

peter-bread Follow

Overview Repositories 15 Projects 0 Packages 0 Stars 251

Overview
Repositories
Projects
Packages
Stars

peter-bread

🐯

agda

Peter Sheehan peter-bread

🐯

agda

4 followers · 4 following

United Kingdom
01:00 (UTC)

Achievements

Block or report peter-bread

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

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

Report abuse

Overview Repositories 15 Projects 0 Packages 0 Stars 251

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Lua Ruby Go Shell Swift Visual Basic .NET

Sort Last updated

Select order

Last updated Name Stars

peter.nvim Public

My Neovim Config

macos linux lua neovim nvim neovim-conf neovim-configuration

Lua 1 1 issue needs help Updated Jan 31, 2025
homebrew-tap Public

Homebrew tap for my tools

MIT License Updated Jan 28, 2025
homebrew-gamon Public archive

Homebrew tap for Gamon

Ruby Updated Jan 28, 2025
gamon Public archive

GitHub Account Manager

github git macos linux bash zsh homebrew

Go 2 MIT License Updated Jan 28, 2025
setup-github-actions-bot Public

Shell 1 MIT License Updated Nov 5, 2024
bootstrap Public

Collection of bootstrap scripts for different systems!

shell bootstrap bash script curl configuration

Shell 1 Updated Nov 1, 2024
peter-bread Public

Updated Jul 23, 2024
csa-gol-cw Public

CSA Game of Life Coursework

go golang concurrency parallel-computing channels concurrent-programming mutex

Go 1 Other Updated Jul 23, 2024
2023-AIAREnhancedTech Public

iOS Augmented Reality AI Chatbot Documentation Enchancement App

swift ios firebase ai blender augmented-reality chatbot

Swift Other Updated Jul 20, 2024
csa-dist-cw Public

CSA Distributed Game of Life Coursework

go golang client aws distributed-systems server concurrency

Go 1 Other Updated Jul 20, 2024
alpine-docker-zsh Public

Shell Updated Jun 28, 2024
submodtest Public

Updated Jun 11, 2024
lsgo Public

See your files like never before!

MIT License Updated Apr 4, 2024
chess-engine Public

Chess Engine written in VB.NET for A Level Computer Science Coursework

Visual Basic .NET Updated Mar 29, 2024
git-ssh-management Public

How to manage multiple GitHub accounts with ssh on one machine.

Updated Feb 10, 2024

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

Peter Sheehan peter-bread

Achievements

Achievements

peter.nvim Public

homebrew-tap Public

homebrew-gamon Public archive

gamon Public archive

setup-github-actions-bot Public

bootstrap Public

peter-bread Public

csa-gol-cw Public

2023-AIAREnhancedTech Public

csa-dist-cw Public

alpine-docker-zsh Public

submodtest Public

lsgo Public

chess-engine Public

git-ssh-management Public