zotero/zotero on GitHub 4.0.25.1 kubernetes/kubernetes on GitLab v0.8.1 FStarLang/FStar on GitHub popl15.1 Shapely on Python PyPI 1.5.3 shapely/shapely on GitHub rel-1.5.3 openjdk/jfx on GitHub 8u45-b03 zotero/zotero on GitHub 4.0.25 reactiveui/ReactiveUI on GitHub 6.3.1 andymeneely/squib on GitHub v0.2.0 pugjs/pug on GitHub 1.9.0 strongloop/node-foreman on GitHub v1.2.1 fontconfig/fontconfig on Freedesktop GitLab 2.11.92 company-mode/company-mode on GitHub 0.8.8 odeke-em/drive on GitHub v0.0.5 shorewall/release on GitLab 4.6.6-0base pulp/pulp_rpm on GitHub build-2.6.0-0.3.beta pulp-rpm-2.6.0-0.3.beta jitsi/jitsi on GitHub 5379 plotly on Python PyPI 1.5.0 eclipse-birt/birt on GitHub v201501121639 v201501121620 p91paul/status-area-horizontal-spacing-gnome-shell-extension on GitLab v2.1.3_gnome3.10_3.12 pdfjs-dist on Node.js NPM 1.0.1076 mozilla/pdfjs-dist on GitHub v1.0.1076 orientechnologies/orientdb on GitHub 2.0-rc1 crypto-browserify on Node.js NPM 3.9.4 firebase on Node.js Yarn 2.1.1 eclipse-jdt/eclipse.jdt.core on GitHub I20150113-0800 browserify/crypto-browserify on GitHub v3.9.4 immutable-js/immutable-js on GitHub 3.6.2 pecan/pecan on GitHub 0.8.3 arangodb/arangodb on GitHub v2.4.0 Newer Older
