All pull requests

Pull requests

• feat(hol.org): add HOL Guard

  #14427·kantorcodes opened Sep 19, 2026·

  ·

• github.com/linnea-bakshi/gha-doctor: new package

  ai-generatedenhancementquestion
  #14331·linnea-bakshi opened Sep 9, 2026·

  ·
  2

• Add OutageDeck CLI package

  #13982·koko3tallah opened Aug 5, 2026·

  ·
  3

• envoyproxy.io: verified-vendor bottle (GPG-signed official binary)

  #13961·tannevaled opened Aug 3, 2026·

  ·

• github.com/buchgr/bazel-remote: new package

  #13957·tannevaled opened Aug 3, 2026·

  ·

• Add clj & clojure from clojure.org

  #13294·phrohdoh opened Jun 13, 2026·

  ·
  4

• +cockroachdb/cockroach

  #13123·tannevaled opened May 30, 2026·

  ·

• new(cockroachdb): distributed SQL with Pebble storage engine

  #13122·tannevaled opened May 30, 2026·

  ·

• new(x.org/xserver): X.Org X server (Xorg, meson build, supersedes #7474)

  #13103·tannevaled opened May 30, 2026·

  ·
  1

• fix(gnu.org/gcc): add libc-wrapper for end-user pkgx gcc (#8423)

  #13094·tannevaled opened May 29, 2026·

  ·
  2

• new(tcl-lang.org/v8 + /tk/v8): Tcl/Tk 8.6 legacy (unblocks Tk + git-gui)

  #13081·tannevaled opened May 29, 2026·

  ·
  3

• new(android-tools): standalone adb / fastboot / mkbootimg

  #13068·tannevaled opened May 29, 2026·

  ·
  3

• new(riverbankcomputing.com/pyqt5): PyQt5 (vendored wheel)

  #13064·tannevaled opened May 29, 2026·

  ·
  1

• new(emscripten.org): C/C++ → WASM (Top 300 #594)

  #13065·tannevaled opened May 29, 2026·

  ·
  2

• new(git-scm.org/gui): git-gui + gitk (Top 300 #371)

  #13060·tannevaled opened May 29, 2026·

  ·
  2

• new(tcl-lang.org/tk): Tk GUI toolkit (Top 300 prereq)

  #13057·tannevaled opened May 29, 2026·

  ·
  1

• new(mysql.com/v5_7): MySQL 5.7 legacy (Top 300 #735)

  #13062·tannevaled opened May 29, 2026·

  ·
  2

• new(cubefs.io): CubeFS — cloud-native distributed storage (from source)

  #13050·tannevaled opened May 29, 2026·

  ·
  2

• new(envoyproxy.io): Envoy — high-performance edge/service proxy (Bazel build from source)

  #13046·tannevaled opened May 29, 2026·

  ·
  6

• feat(jq): add windows/x86-64 cross-compile pilot (#346 Phase 0)

  #12987·tannevaled opened May 22, 2026·

  ·
  1

• fix(swift): add compilation test for better coverage

  #12170·timothytlewis opened Mar 6, 2026·

  ·

• fix(pnpm): pin Node dep, switch to npm version source

  #12160·timothytlewis opened Mar 6, 2026·

  ·
  2

• fix(yarn): unblock Node 24 LTS and fix test

  #12155·timothytlewis opened Mar 6, 2026·

  ·
  1

• audit: update 5 high-impact package dependencies

  #12149·timothytlewis opened Mar 5, 2026·

  ·
  4

• Add some gnome-shell dependencies

  #11274·EarldridgeJazzedPineda opened Dec 10, 2025·

  ·