Giters
brendan (brendanny)

brendanny

Geek Repo

2

followers

49

following

138

stars

Location:United States

Home Page:brendanny.com

Github PK Tool:Github PK Tool

brendan's starred repositories

webi-installers

Primary and community-submitted packages for webinstall.dev

Language:ShellLicense:MPL-2.0Stargazers:1764Issues:0Issues:0

logseq-plugin-agenda

A calendar, task manager and daily planner plugin for logseq

Language:TypeScriptLicense:MITStargazers:830Issues:0Issues:0

ladybird

Truly independent web browser

Language:C++License:BSD-2-ClauseStargazers:13309Issues:0Issues:0

pirateweather

Code and documentation for the Pirate Weather API

Language:PythonLicense:Apache-2.0Stargazers:622Issues:0Issues:0

indigo

Go source code for Bluesky's atproto services.

Language:GoLicense:Apache-2.0Stargazers:601Issues:0Issues:0

es6features

Overview of ECMAScript 6 features

License:MITStargazers:29205Issues:0Issues:0

awesome-bluesky

A list of all known tools available for the Bluesky platform

License:NOASSERTIONStargazers:180Issues:0Issues:0

AniHyou-android

Another unofficial Android AniList client

Language:KotlinLicense:GPL-3.0Stargazers:278Issues:0Issues:0

OsmAnd

OsmAnd

Language:JavaLicense:NOASSERTIONStargazers:4468Issues:0Issues:0

NAND

NAND is a logic simulator suite made entirely from NAND gates

Language:TypeScriptLicense:MITStargazers:538Issues:0Issues:0

lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

Language:CLicense:BSD-2-ClauseStargazers:80Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4738Issues:0Issues:0

teaching

Teaching materials related to the Tamarin Prover

Stargazers:59Issues:0Issues:0

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellLicense:GPL-3.0Stargazers:401Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4154Issues:0Issues:0

quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility

Language:TypeScriptLicense:BSD-3-ClauseStargazers:42548Issues:0Issues:0

stacks-project

Repository for the Stacks Project

Language:TeXLicense:NOASSERTIONStargazers:837Issues:0Issues:0

Harden-Windows-Security

Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation | Always up-to-date and works with the latest build of Windows | Provides tools and Guides for Personal, Enterprise, Government and Military security levels | Read The Rationale https://github.com/HotCakeX/Harden-Windows-Security/blob/main/Rationale.md

Language:PowerShellLicense:MITStargazers:1371Issues:0Issues:0

age-plugin-yubikey

YubiKey plugin for age

Language:RustLicense:Apache-2.0Stargazers:545Issues:0Issues:0

penumbra

Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.

Language:RustLicense:Apache-2.0Stargazers:364Issues:0Issues:0

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellLicense:MITStargazers:171221Issues:0Issues:0

Aluminium

An Android AniList Client

Stargazers:46Issues:0Issues:0

breezy-weather

A Material Design Weather Application

Language:KotlinLicense:LGPL-3.0Stargazers:4671Issues:0Issues:0

quiet

A private, p2p alternative to Slack and Discord built on Tor & IPFS

Language:CLicense:GPL-3.0Stargazers:1911Issues:0Issues:0

mullvadvpn-app

The Mullvad VPN client app for desktop and mobile

Language:RustLicense:GPL-3.0Stargazers:4676Issues:0Issues:0

weather.gov

weather.gov 2.0

Language:JavaScriptLicense:NOASSERTIONStargazers:323Issues:0Issues:0

json

JSON for Modern C++

Language:C++License:MITStargazers:41614Issues:0Issues:0

llvm-project-deluge

LLVM - Deluge

Language:C++License:NOASSERTIONStargazers:173Issues:0Issues:0

inbox

Modern email for teams and professionals. A replacement for outdated email technology and tools. Alt to hey.com, front.com, missiveapp.com

Language:TypeScriptLicense:NOASSERTIONStargazers:1286Issues:0Issues:0

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

Language:TypeScriptLicense:MITStargazers:77972Issues:0Issues:0