barrettj12

barrettj12's Stars

• segment-boneyard/nightmare

  A high-level browser automation library.

  Language:JavaScript19.5k3461.2k1.1k

• go-git/go-git

  A highly extensible Git implementation in pure Go.

  Language:Go6k44625744

• rhysd/actionlint

  :octocat: Static checker for GitHub Actions workflow files

  Language:Go2.8k10279155

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k655.5k356

• dorny/paths-filter

  Conditionally run actions based on files modified by PR, feature branch or pushed commits

  Language:TypeScript2.2k11149248

• benhoyt/goawk

  A POSIX-compliant AWK interpreter written in Go, with CSV support

  Language:Go1.9k4012584

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k53362298

• runsidekick/sidekick

  Sidekick is no longer in service

  Language:Java1.6k18968

• harshjv/github-repo-size

  🚀 Chrome extension to display repository size on GitHub

  Language:JavaScript1.2k1448132

• agda/agda-stdlib

  The Agda standard library

  Language:Agda583291k236

• banacorn/agda-mode-vscode

  agda-mode on VS Code

  Language:ReScript1701014040

• alecthomas/repr

  Python's repr() for Go

  Language:Go1626815

• spinlud/linkedin-jobs-scraper

  Language:TypeScript15163841

• rocketlaunchr/igo

  Improved Go Syntax (transpiler)

  Language:Go66424

• jrmycanady/gocronometer

  gocronometer is a go module that provides API access to the export methods of Cronometer.com

  Language:Go53211

• axelniklasson/PyTrafik

  A Python wrapper of Västtrafik's journey planner REST API.

  Language:Python7346

• charmed-kubernetes/actions-operator

  Language:TypeScript682418

• jessehouwing/debug-via-ssh

  Here you can find a GitHub Action that allows you to connect to a GitHub Actions runner via SSH for interactive debugging using ngrok.

  Language:JavaScript120