Projects

200 project(s) on this page

Project Selected Spr Newest Outdated Ignored
2048-in-terminal 2017-11-29 1 2017-11-29
9pfs 20150918 1 20150918
abc-verifier 2018-07-08 1 2018-07-08
acgtk 1.5.0 1 1.5.0
adapta-kde-theme 20180512 1 20180512
adoptopenjdk-hotspot-bin 11.0.3 1 11.0.3
adoptopenjdk-jre-hotspot-bin 11.0.3 1 11.0.3
adoptopenjdk-jre-openj9-bin 11.0.3 1 11.0.3
adoptopenjdk-openj9-bin 11.0.3 1 11.0.3
aefs 0.4pre259-8843b7c 1 0.4pre259-8843b7c
aegan 9.17 1 10.00
aerospike-server 4.2.0.4 1 4.2.0.4
afro-graphics 44.10 1 44.10
agda-base 0.1 1 0.1
agda-iowa-stdlib 1.4.0 1 1.4.0
agda-prelude 0dca24a81d417db2ae8fc871eccb7776f7eae952 1 0dca24a81d417db2ae8fc871eccb7776f7eae952
agda-sheaves 8a06162a8f0f7df308458db91d720cf8f7345d69 1 8a06162a8f0f7df308458db91d720cf8f7345d69
aiger 1.9.9 1 1.9.9
aileron-font 0.102 1 0.102
airfield 2015-01-04 1 2015-01-04
airstrike-pre 6a 1 6a
aldor 1.2.0 1 1.2.0
alibuild 1.5.4rc3 1 1.5.4rc3
aliceml 1.4-7d44dc8e 1 1.4-7d44dc8e
alloy4 4.2_2015-02-22 1 4.2_2015-02-22
alloy5 5.0.0.1 1 5.0.0.1
almonds 1.25b 1 1.25b
amazon-ecs-agent 1.18.0 1 1.18.0
amazon-glacier-cmd-interface 2016-09-01 1 2016-09-01
amdadl-sdk 6.0 1 6.0
andagii 1.0.2 1 1.0.2
android-studio-dev 3.5.0.4-wrapper 1 3.6.0.1-wrapper
android-studio-stable 3.3.1.0-wrapper 1 3.4.1.0-wrapper
animbar 1.2 1 1.2
ankacoder 1.100 1 1.100
ankacoder-condensed 1.100 1 1.100
any-nix-shell 1.1.0 1 1.1.0
apache-felix 5.6.1 1 5.6.1
apache-felix-remoteshell-bundle 1.1.2 1 1.1.2
apache-kafka 2.12-2.1.0 2.12-2.0.1 2.12-1.1.1 2.12-1.0.2 2.12-0.11.0.3 2.12-0.10.2.2 2.11-0.9.0.1 1 2.12-2.2.0 2.12-2.1.1 2.12-2.0.1 2.12-1.1.1 2.12-1.0.2 2.12-0.11.0.3 2.12-0.10.2.2 2.11-0.9.0.1
ape-attempto-controlled-english 6.7-131003 1 6.7-131003
ape-clex 6.7-131003 1 6.7-131003
apfelgrid 1.0.1 1 1.0.1
apmplanner2 2.0.26 1 2.0.27-rc1
apparmor-bin-utils 2.13.1 1 2.13.1
apparmor-kernel-patches 2.13.1 1 2.13.1
apparmor-pam 2.13.1 1 2.13.1
appimagekit 20180727 1 20180727
applgrid 1.4.70 1 1.4.70
arc-kde-theme 2017-11-09 1 2017-11-09
Project Selected Spr Newest Outdated Ignored
arelle 18.3 1 18.3
argo 2.2.1 1 2.2.1
argtable3 3.0.1 1 3.0.1
arguments 2015-11-30 1 2015-11-30
arm-trusted-firmware-qemu 2.0 1 2.0
arm-trusted-firmware-rk3328 2.0 1 2.0
arm-trusted-firmware-rk3399 2.0 1 2.0
arm-trusted-firmware-sun50iw1p1 1.0 1 1.0
arp 1003.1-2008 1 1003.1-2008
arpa2cm 0.5 1 0.5
asc-key-to-qr-code-gif 20180613 1 20180613
asciidoc-full 8.6.9 1 8.6.9
asciidoc-full-with-plugins 8.6.9 1 8.6.9
asmfmt 1.1 1 1.1
asn2quickder 1.2-6 1 1.2-6
aspino 2017-03-09 1 2017-03-09
astrolabe-generator 3.3 1 3.3
asynk 2.0.0 1 2.0.0
ati-drivers 15.12-5.1.4 15.12-5.1-rc4 15.12-5.0.18 15.12-4.20.2019.02.20 15.12-4.19.45 15.12-4.14.121 15.12-4.14.120-160 15.12-4.9.178 15.12-4.4.180 1 15.12-5.2-rc1 15.12-5.1.4 15.12-5.0.2019.05.08 15.12-5.0.18 15.12-4.19.45 15.12-4.14.121 15.12-4.14.120-160 15.12-4.9.178 15.12-4.4.180
atlassian-crowd 3.4.3 1 3.4.3
attempto-clex 5133afe 1 5133afe
aucdtext 0.8-2 1 0.8-2
aurulent-sans 0.1 1 0.1
autofac 3.5.2 1 3.5.2
automirror 49 1 49
autoreiv 44.03 1 44.03
autospotting 2018-11-17 1 2018-11-17
avrdudess 2.2.20140102 1 2.2.20140102
aws-env 0.4 1 0.4
aws-google-auth 0.0.29 1 0.0.29
aws-mturk-clt 1.3.0 1 1.3.0
aws-rotate-key 1.0.4 1 1.0.4
aws-sam-cli 0.14.2 1 0.16.1
azure-storage-azcopy 10.0.1-pre 1 10.0.1-pre
bashplotlib 2019-01-02 1 2019-01-02
bashsnippets 1.17.3 1 1.17.3
bazel-deps 2019-02-01 1 2019-02-01
bazel-watcher 0.9.1 1 0.9.1
bcat 0.6.2 1 0.6.2
bean-add 2018-01-08 1 2018-01-08
beegfs 7.0 1 7.0
beegfs-module 7.0-5.1.4 7.0-5.1-rc4 7.0-5.0.18 7.0-4.20.2019.02.20 7.0-4.19.45 7.0-4.14.121 7.0-4.14.120-160 7.0-4.9.178 7.0-4.4.180 1 7.0-5.2-rc1 7.0-5.1.4 7.0-5.0.2019.05.08 7.0-5.0.18 7.0-4.19.45 7.0-4.14.121 7.0-4.14.120-160 7.0-4.9.178 7.0-4.4.180
bees-service 0.6.1 1 0.6.1
beetle-pce-fast 2017-06-04 1 2017-06-04
beetle-psx 2017-06-04 1 2017-06-04
beetle-saturn 2017-06-04 1 2017-06-04
ber-metaocaml 107 1 107
betaflight 3.4.0-rc4 1 3.4.0-rc4
bftools 5.9.2 1 5.9.2
bgnet 3.0.21 1 3.0.21
Project Selected Spr Newest Outdated Ignored
bibata-cursors 0.4.1 1 0.4.1
bicgl 2017-09-10 1 2017-09-10
bicpl 2017-09-10 1 2017-09-10
binutils-wrapper 2.31.1 1 2.31.1
bit1 1.15.1 1 1.15.1
bit1d 1.15.1 1 1.15.1
bitbucket-server-cli 0.7.0 1 0.7.0
bitcoin-xt 0.11H 1 0.11H
bitcoinarmory 0.96.1 1 0.96.1
bitcoind-abc 0.18.2 1 0.19.4
bitcoind-classic 1.3.8 1 1.3.8
bitcoind-xt 0.11H 1 0.11H
bitscope-console 1.0.FK29A 1 1.0.FK29A
bitscope-display 1.0.EC17A 1 1.0.EC17A
bitscope-proto 0.9.FG13B 1 0.9.FG13B
bitsnbots 20111230 1 20111230
blackmagic 1.6.1 1 1.6.1
blobfuse 1.0.2 1 1.0.2
bloodspilot-client 1.5.0 1 1.5.0
bloodspilot-xpilot-fxi-server 1.4.6 1 1.4.6
blsd 2017-07-27 1 2017-07-27
bmrsa 11 1 11
bonfire 2017-01-19 1 2017-01-19
bosun 0.5.0 1 0.5.0
boxfs 2-20150109 1 2-20150109
breeze-qt5 5.14.5 1 5.15.5
brgenml1cupswrapper 3.1.0-1 1 3.1.0-1
brgenml1lpr 3.1.0-1 1 3.1.0-1
brigand 1.3.0 1 1.3.0
bsd-fingerd 0.17 1 0.17
bt-fw-converter 2017-02-19 1 2017-02-19
btrfs-dedupe 1.1.0 1 1.1.0
buildkite-agent 3.8.4 2.6.10 1 3.8.4 2.6.10
bundix 2.4.1 1 2.4.2
c3d 2018-10-04 1 2018-10-04
cabal2nix 2.14.2 1 2.14.3
cabin 1.005 1 1.005
cachix 0.2.0 1 0.2.0
calaos-installer 3.1 1 3.1
camingo-code 1.0 1 1.0
can-isotp 20180629 1 20180629
canon-cups-ufr2 2.90 1 2.90
carddav 0.1-2014-02-26 1 0.1-2014-02-26
cataract 2016-10-18 1.1.0 1 1.1.0 2016-10-18
catdocx 20170102 1 20170102
categories 33409120d071656f5198c658145889ae2e86249c 1 33409120d071656f5198c658145889ae2e86249c
cbfstool 4.9 1 4.9
cbor-diag 0.5.2 1 0.5.2
cddl 0.8.5 1 0.8.5
cedille 1.0.0 1 1.1.1
Project Selected Spr Newest Outdated Ignored
cef-binary 3.3497.1833.g13f506f 1 3.3497.1833.g13f506f
celf 2013-07-25 1 2013-07-25
ceptre 2016-11-27 1 2016-11-27
cfdyndns 0.0.1 1 0.0.1
cgui 2.1.0 1 2.1.0
chaps 0.42-6812 1 0.42-6812
charis-sil 5.000 1 5.000
check-ups-health 2.8.2.2 1 2.8.2.2
check-uptime 20161112 1 20161112
cherry 1.2 1 1.3
chicken-ugarit 2.0 1 2.0
chicken-ugarit-manifest-maker 0.1 1 0.1
cholmod-extra 1.2.0 1 1.2.0
chronos 286b2ccb8e4695f8e413406ceca85b60d3a87e22 1 286b2ccb8e4695f8e413406ceca85b60d3a87e22
cide 0.9.0 1 0.9.0
clang-manpages 5.0.2 1 7.1.0
clang-tools 7.0.1 1 8.0.0
clang-wrapper-with-reexport-hack 5.0.2 1 7.1.0
clearlyu 12-1.9 1 12-1.9
client-ip-echo 0.1.0.4 1 0.1.0.4
clightning 0.6.3 1 0.7.0
clooj 0.4.4 1 0.4.4
cloudmonkey 5.3.3 1 5.3.3
cmdstan 2.17.1 1 2.17.1
cmucl-binary 21b 1 21b
cntr 1.2.0 1 1.2.0
codimd 1.2.0 1 1.2.0
col 1003.1-2008 1 1003.1-2008
collectd-exporter 0.3.1 1 0.3.1
column 1003.1-2008 1 1003.1-2008
comic-relief 1.1 1 1.1
commons-bcel 5.2 1 5.2
commons-bsf 1.2 1 1.2
compactor 0.11.1 1 0.11.1
compile-daemon 2017-03-08 1 2017-03-08
conda-shell 4.3.31 1 4.3.31
confluent 4.1.1-2.11 1 4.1.1-2.11
convchain 0.0pre20160901 1 0.0pre20160901
cooper-hewitt 2014-06-09 1 2014-06-09
coprthr 1.6 1 1.6
coq2html 20170720 1 20170720
coq8.8-aac-tactics 20180530 1 20180530
coq8.8-category-theory 20181016 1 20181016
coq8.8-cheerios 20181102 1 20181102
coq8.8-containers 20180330 1 20180330
coq8.8-coq-ext-lib 0.9.8 1 0.9.8
coq8.8-coq-extensible-records 1.2.0 1 1.2.0
coq8.8-coq-haskell 20171215 1 20171215
coq8.8-coqprime 8.8 1 8.8
coq8.8-coquelicot 3.0.2 1 3.0.2

Legend: